Roberto Asín Achá

Available identifiers

zbMath Open asin-acha.robertoMaRDI QIDQ475168

List of research outcomes

Publication	Date of Publication	Type
Multi-Agent Path Finding: A New Boolean Encoding	2022-10-18	Paper
HNCcorr: combinatorial optimization for neuron identification	2022-07-26	Paper
A column generation approach and new bounds for the car sequencing problem	2018-06-12	Paper
Curriculum-based course timetabling with SAT and MaxSAT	2014-11-26	Paper
Practical algorithms for unsatisfiability proof and core generation in SAT solvers	2010-06-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roberto Asín Achá