Publicaciones en las que colabora con MA. ALBA CABISCOL TEIXIDO (4)

2007

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

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

2002

  1. Minimal and redundant SAT encodings for the all-interval-series problem

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

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