Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
作者： Giovanni Amendola , Francesco Ricca , Miroslaw Truszczynski
关键词:
摘要:
ijcai.org
unical.it
sci-hub.st 参考文章(1)
William Klieber, Mikoláš Janota, Joao Marques-Silva, Edmund Clarke, Solving QBF with Free Variables principles and practice of constraint programming. pp. 415- 431 ,(2013) , 10.1007/978-3-642-40627-0_33