Listing items by Author "Ulrich-Oltean, Felix"
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 |
