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 |
|---|---|---|
| Solving the routing and wavelength assignment problem with conflict-driven ASP solvers AI Communications | 2017-11-07 | Paper |
| Weighted argumentation for analysis of discussions in Twitter International Journal of Approximate Reasoning | 2017-10-11 | Paper |
| On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes Annals of Mathematics and Artificial Intelligence | 2017-01-27 | Paper |
| On the hardness of solving edge matching puzzles as SAT or CSP problems Constraints | 2015-04-29 | Paper |
| The Sudoku completion problem with rectangular hole pattern is NP-complete Discrete Mathematics | 2012-10-26 | Paper |
Research outcomes over time
This page was built for person: Carles Mateu
