Listing items by Author "Nightingale, Peter"
One item found:
Format | Date | Title | Author |
---|---|---|---|
Format | Date | Title | Author |
2022 January | SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints | Bofill Arasa, Miquel ; Coll Caballero, Jordi ; Nightingale, Peter ; Suy Franch, Josep ; Ulrich-Oltean, Felix ; Villaret i Ausellé, Mateu |