Cèsar Fernández

Available identifiers

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
Non existence of some mixed Moore graphs of diameter 2 using SAT	2015-12-08	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
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Sensor networks and distributed CSP: communication, computation and complexity	2007-10-23	Paper
Regular-SAT: A many-valued approach to solving combinatorial problems	2007-08-23	Paper
Statistical regimes across constrainedness regions	2006-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4475627	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4438827	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q2741541	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4040147	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q3776640	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783590	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3686019	1985-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cèsar Fernández