The following pages link to (Q5309034):
Displaying 7 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)
- Feasibility checking in Horn constraint systems through a reduction based approach (Q2344728) (← links)
- A combinatorial algorithm for Horn programs (Q2445839) (← links)
- Integer feasibility and refutations in UTVPI constraints using bit-scaling (Q2684489) (← links)
- General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
- A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints (Q2819515) (← links)
