Listing items by Author "Nightingale, Peter"

One item found:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
doc icon DUGiDocs 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
  1   

Subjects

Authors