The following pages link to (Q5309034):
Displayed 3 items.
- Optimal length resolution refutations of difference constraint systems (Q846163) (← links)
- On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls (Q1040040) (← links)
- A combinatorial algorithm for Horn programs (Q2445839) (← links)