Síč, Juraj http://orcid.org/0000-0001-7454-3751
Strejček, Jan http://orcid.org/0000-0001-5873-403X
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/