Publicaciones en colaboración con investigadores/as de Cornell University (6)

2011

  1. Generating highly balanced sudoku problems as hard problems

    Journal of Heuristics, Vol. 17, Núm. 5, pp. 589-614

2007

  1. 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

  1. 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)

  2. The impact of balancing on problem hardness in a highly structured domain

    Proceedings of the National Conference on Artificial Intelligence

2005

  1. Mapping many-valued CNF formulas to Boolean CNF formulas

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. The achilles' heel of QBF

    Proceedings of the National Conference on Artificial Intelligence