conftrace_

random boolean formula

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

random formula (1) random satisfiability (1) disjunctive logic program (1) quantified boolean formula (1) sat solver (1) phase transition (1)

Papers

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs IJCAI 2017