Cesar Fernandez

From MaRDI portal
Person:505969


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!

PublicationDate of PublicationType
Solving the routing and wavelength assignment problem with conflict-driven ASP solvers
AI Communications
2017-11-07Paper
Weighted argumentation for analysis of discussions in Twitter
International Journal of Approximate Reasoning
2017-10-11Paper
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
Annals of Mathematics and Artificial Intelligence
2017-01-27Paper
Non existence of some mixed Moore graphs of diameter 2 using SAT
Discrete Mathematics
2015-12-08Paper
On the hardness of solving edge matching puzzles as SAT or CSP problems
Constraints
2015-04-29Paper
The Sudoku completion problem with rectangular hole pattern is NP-complete
Discrete Mathematics
2012-10-26Paper
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science
2008-09-09Paper
Sensor networks and distributed CSP: communication, computation and complexity
Artificial Intelligence
2007-10-23Paper
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics
2007-08-23Paper
Statistical regimes across constrainedness regions
Constraints
2006-11-03Paper
scientific article; zbMATH DE number 2084702 (Why is no real title available?)
 
2004-08-09Paper
scientific article; zbMATH DE number 2016108 (Why is no real title available?)
 
2003-12-10Paper
Extending the reach of SAT with many-valued logics
 
2001-09-24Paper
scientific article; zbMATH DE number 193318 (Why is no real title available?)
 
1993-06-05Paper
scientific article; zbMATH DE number 4037220 (Why is no real title available?)
 
1987-01-01Paper
scientific article; zbMATH DE number 4047139 (Why is no real title available?)
 
1987-01-01Paper
scientific article; zbMATH DE number 3909720 (Why is no real title available?)
 
1985-01-01Paper


Research outcomes over time


This page was built for person: Cesar Fernandez