Friedrich, Tobias http://orcid.org/0000-0003-0076-6308
Neumann, Frank http://orcid.org/0000-0002-2721-3618
Rothenberger, Ralf http://orcid.org/0000-0002-4133-2437
Sutton, Andrew M. http://orcid.org/0000-0003-1295-6715
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/