Now showing items 1-1 of 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)
    Conference report
    Open Access
    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 ...