A linear-time transformation of linear inequalities into conjunctive normal form / J.P. WarnersA nonlinear approach to a class of combinatorial optimization problems / J.P. WarnersNonconvex continuous models for combinatorial optimization problems with application to satisfialiblity and node packing problems / J.P. WarnersSatisfiability problems with balanced polynomial representation / Joost P. Warners and Hans van MaarenA two phase algorithm for solving a class of hard satisfiability problems / J.P. Warners, H. van MaarenSolving satisfiability problems using elliptic approximations : effective branching rules / Joost P. Warners, Hans van MaarenSolving satisfiability problems using elliptic approximations- a note on volumes and weights / Hans van Maarten, Joost P. WarnersNonlinear approaches to satisfiability problems / Johannes Pieter Warners
author
Potential reduction algorithms for structured combinatorial optimization problems / J.P. Warners ... [et al.]A potential reduction approach to the frequency assignment problem / J.P. Warners ... [et al.]Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX2SAT and MAX CUT / Hans van Maaren and Joost P. WarnersRelaxations of the satisfiability problem using semidefinite programming / E. de Klerk, H. van Maaren, J.P. WarnersThe propositional formula checker HeerHugo / J.F. Groote, J.P. WarnersSemidefinite programming approches for MAX-2-SAT and MAX-3-SAT : computational perspectives / E. de Klerk, J.P. Warners