FERPModels: A Certification Framework for Expansion-Based QBF Solving

Autor:	Vedad Hadžić, Roderick Bloem, Ankit Shukla, Martina Seidl
Rok vydání:	2022
Zdroj:	2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b80161dfcddbf0d661af116cf00217f1 https://doi.org/10.1109/synasc57785.2022.00022 Zobrazit plný text záznamu