Document is current
Any future updates will be listed below
-
Authors
Nawrocki, Wojciech https://orcid.org/0000-0002-8839-0618
Liu, Zhenjun
Fröhlich, Andreas https://orcid.org/0000-0002-0698-3621
Heule, Marijn J. H. https://orcid.org/0000-0002-5587-8801
Biere, Armin https://orcid.org/0000-0001-7170-9242
- License Information
-
More Information
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/
