List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Probing features for automatic algorithm selection for pseudo-Boolean optimization | 2026-09-23 | Paper |
| Automatic algorithm selection for pseudo-Boolean optimization with given computational time limits Computers & Operations Research | 2025-05-26 | Paper |
| Selecting fast algorithms for the capacitated vehicle routing problem with machine learning techniques Networks | 2025-01-08 | Paper |
| Multi-Agent Path Finding: A New Boolean Encoding Journal of Artificial Intelligence Research | 2022-10-18 | Paper |
| HNCcorr: combinatorial optimization for neuron identification Annals of Operations Research | 2022-07-26 | Paper |
| A column generation approach and new bounds for the car sequencing problem Annals of Operations Research | 2018-06-12 | Paper |
| Curriculum-based course timetabling with SAT and MaxSAT Annals of Operations Research | 2014-11-26 | Paper |
| Practical algorithms for unsatisfiability proof and core generation in SAT solvers AI Communications | 2010-06-17 | Paper |
Research outcomes over time
This page was built for person: Roberto Asín Achá
