Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
Kusper, Gabor, Balla, Tamas, Biro, Csaba, Tajti, Tibor, Yang, Zijian Gyozo, Bajak, Imre
Published in 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2020)
Published in 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2020)
Get full text
Conference Proceeding