Exploració per autor "Villaret Auselle, Mateu"

Ara es mostren els items 1-1 de 1

    • Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints 

      Ansótegui Gil, Carlos; Bofill Arasa, Miquel; Coll Caballero, Jordi; Dang, Nguyen; Esteban Ángeles, Juan Luis; Miguel, Ian; Nightingale, Peter; Salamon, András Z.; Suy Franch, Josep; Villaret Auselle, Mateu (Springer, 2019)
      Text en actes de congrés
      Accés obert
      Pseudo-Boolean (PB) constraints often have a critical role in constraint satisfaction and optimisation problems. Encoding PB constraints to SAT has proven to be an efficient approach in many applications, however care must ...