conftrace_

random formula

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (2) phase transition (2) cnf-xor formula (1) xor reasoning (1) random boolean formula (1) random satisfiability (1) disjunctive logic program (1) quantified boolean formula (1) constraint satisfaction (1)

Papers

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs IJCAI 2017 The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas IJCAI 2017