Artificial Conflict Sampling for Real Satisfiability Problems

Autor:	James H. Davenport, Ali K. Uncu
Rok vydání:	2022
Zdroj:	2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
DOI:	10.1109/synasc57785.2022.00018
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0587d0d2baa74fcaac74f05a61590ab0 https://doi.org/10.1109/synasc57785.2022.00018 Zobrazit plný text záznamu