Carles Mateu

From MaRDI portal
Person:505970

Available identifiers

zbMath Open mateu.carlesDBLP95/5013WikidataQ59661603 ScholiaQ59661603MaRDI QIDQ505970

List of research outcomes





PublicationDate of PublicationType
Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers2017-11-07Paper
Weighted argumentation for analysis of discussions in Twitter2017-10-11Paper
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes2017-01-27Paper
On the hardness of solving edge matching puzzles as SAT or CSP problems2015-04-29Paper
The Sudoku completion problem with rectangular hole pattern is NP-complete2012-10-26Paper

Research outcomes over time

This page was built for person: Carles Mateu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:505970&oldid=7555737"
Powered by MediaWiki