CARLOS J.
ANSOTEGUI GIL
CU
Cornell University
Ithaca, Estados UnidosPublicaciones en colaboración con investigadores/as de Cornell University (6)
2011
-
Generating highly balanced sudoku problems as hard problems
Journal of Heuristics, Vol. 17, Núm. 5, pp. 589-614
2007
-
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
Annals of Mathematics and Artificial Intelligence, Vol. 49, Núm. 1-4, pp. 191-205
2006
-
QBF modeling: Exploiting player symmetry for simplicity and efficiency
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The impact of balancing on problem hardness in a highly structured domain
Proceedings of the National Conference on Artificial Intelligence
2005
-
Mapping many-valued CNF formulas to Boolean CNF formulas
Proceedings of The International Symposium on Multiple-Valued Logic
-
The achilles' heel of QBF
Proceedings of the National Conference on Artificial Intelligence