Mann, Makai http://orcid.org/0000-0002-1555-5784
Wilson, Amalee http://orcid.org/0000-0002-3315-815X
Zohar, Yoni http://orcid.org/0000-0002-2972-6695
Stuntz, Lindsey
Irfan, Ahmed http://orcid.org/0000-0001-7791-9021
Brown, Kristopher http://orcid.org/0000-0002-9374-9138
Donovick, Caleb http://orcid.org/0000-0001-9336-1267
Guman, Allison
Tinelli, Cesare http://orcid.org/0000-0002-6726-775X
Barrett, Clark http://orcid.org/0000-0002-9522-3084
Chapter History
First Online: 2 July 2021
Conference Information
Conference Acronym: SAT
Conference Name: International Conference on Theory and Applications of Satisfiability Testing
Conference City: Barcelona
Conference Country: Spain
Conference Year: 2021
Conference Start Date: 5 July 2021
Conference End Date: 9 July 2021
Conference Number: 24
Conference ID: sat2021
Conference URL: https://www.iiia.csic.es/sat2021/