Cesar Fernandez

From MaRDI portal
Person:505969

Available identifiers

zbMath Open fernandez.cesar-cMaRDI QIDQ505969

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
Non existence of some mixed Moore graphs of diameter 2 using SAT2015-12-08Paper
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
Principles and Practice of Constraint Programming – CP 20042008-09-09Paper
Sensor networks and distributed CSP: communication, computation and complexity2007-10-23Paper
Regular-SAT: A many-valued approach to solving combinatorial problems2007-08-23Paper
Statistical regimes across constrainedness regions2006-11-03Paper
https://portal.mardi4nfdi.de/entity/Q44756272004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44388272003-12-10Paper
Extending the reach of SAT with many-valued logics2001-09-24Paper
https://portal.mardi4nfdi.de/entity/Q40401471993-06-05Paper
https://portal.mardi4nfdi.de/entity/Q37766401987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835901987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36860191985-01-01Paper

Research outcomes over time

This page was built for person: Cesar Fernandez

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