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

2011

  1. Generating highly balanced sudoku problems as hard problems

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

2007

  1. Regular-SAT: A many-valued approach to solving combinatorial problems

    Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626

2006

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

    Proceedings of the National Conference on Artificial Intelligence

2005

  1. Sensor networks and distributed CSP: Communication, computation and complexity

    Artificial Intelligence, Vol. 161, Núm. 1-2, pp. 117-147

  2. Statistical regimes across constrainedness regions

    Constraints

  3. Streamlining local search for spatially balanced latin squares

    IJCAI International Joint Conference on Artificial Intelligence

2004

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

  1. Grid-based SensorDCSP

    IJCAI International Joint Conference on Artificial Intelligence

  2. On the Complexity of Distributed Self-Configuration in Wireless Networks

    Telecommunication Systems, Vol. 22, Núm. 1-4, pp. 33-59

2002

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

  1. Capturing structure with satisfiability

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Extending the reach of SAT with many-valued logics

    Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407