Carles Mateu

Available identifiers

zbMath Open mateu.carlesMaRDI QIDQ505970

List of research outcomes

Publication	Date of Publication	Type
Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers	2017-11-07	Paper
Weighted argumentation for analysis of discussions in Twitter	2017-10-11	Paper
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes	2017-01-27	Paper
On the hardness of solving edge matching puzzles as SAT or CSP problems	2015-04-29	Paper
The Sudoku completion problem with rectangular hole pattern is NP-complete	2012-10-26	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: Carles Mateu