PV4 ⊧ kcnfsproduces a satisfiability result for a formula based on its backbone

Links

- http://web.archive.org/web/20171030062814/http://home.mis.u-picardie.fr/~dequen/sat/ (original page inaccessible)

Related papers

https://dl.acm.org/doi/abs/10.5555/1642090.1642124 (IJCAI'01)

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: used by SATzilla
• Contained in the ProVerB22 dataset (paper + artefact)