The following pages link to (Q5715690):
Displaying 9 items.
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
- Recognition of Nested Gates in CNF Formulas (Q3453230) (← links)
- Generalized Davis-Putnam and satisfiability problems in mathematics (Q3577911) (← links)
- (Q4951167) (← links)
- ON GENERIC NP-COMPLETENESS OF THE PROBLEM OF BOOLEAN CIRCUITS SATISFIABILITY (Q5151438) (← links)
- Generalized satisfiability problems via operator assignments (Q5919560) (← links)