Pubblicazioni
2018 - 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018; Oxford; United Kingdom; 9 July 2018 through 12 July 2018; Code 215249
Galesi, Nicola; Talebanfard, Navid; Torán, Jacobo