CESAR
FERNANDEZ CAMON
CU
Cornell University
Ithaca, Estados UnidosPublicacions en col·laboració amb investigadors/es de Cornell University (12)
2011
-
Generating highly balanced sudoku problems as hard problems
Journal of Heuristics, Vol. 17, Núm. 5, pp. 589-614
2007
-
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626
2006
-
The impact of balancing on problem hardness in a highly structured domain
Proceedings of the National Conference on Artificial Intelligence
2005
-
Sensor networks and distributed CSP: Communication, computation and complexity
Artificial Intelligence, Vol. 161, Núm. 1-2, pp. 117-147
-
Statistical regimes across constrainedness regions
Constraints
-
Streamlining local search for spatially balanced latin squares
IJCAI International Joint Conference on Artificial Intelligence
2004
-
Statistical regimes across constrainedness regions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3258, pp. 32-46
2003
-
Grid-based SensorDCSP
IJCAI International Joint Conference on Artificial Intelligence
-
On the Complexity of Distributed Self-Configuration in Wireless Networks
Telecommunication Systems, Vol. 22, Núm. 1-4, pp. 33-59
2002
-
Communication and computation in distributed CSP algorithms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
Capturing structure with satisfiability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Extending the reach of SAT with many-valued logics
Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407