Hans van Maaren, Joost P. Warners Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX 2SAT. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2000, v:107, n:1-3, pp:225-239 [Journal]
Joost P. Warners, Hans van Maaren Solving satisfiability problems using elliptic approximations - effective branching rules. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2000, v:107, n:1-3, pp:241-259 [Journal]
Joost P. Warners, Hans van Maaren Recognition of Tractable Satisfiability Problems through Balanced Polynomial Representations. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2000, v:99, n:1-3, pp:229-244 [Journal]
Joost P. Warners A Linear-Time Transformation of Linear Inequalities into Conjunctive Normal Form. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1998, v:68, n:2, pp:63-69 [Journal]