The following pages link to (Q4375779):
Displaying 4 items.
- Bounds and fast approximation algorithms for binary quadratic optimzation problems with application to MAX 2SAT (Q1841891) (← links)
- Solving satisfiability problems using elliptic approximations -- effective branching rules (Q1841892) (← links)
- Elliptic approximations of propositional formulae (Q1961455) (← links)
- Recognition of tractable satisfiability problems through balanced polynomial representations (Q1962045) (← links)