Warners, J.P. (Johannes Pieter), 1971-
Warners, J. P.
Johannes Pieter Warners Ph.D. Technische Universiteit Eindhoven 1999
VIAF ID: 285726830 (Personal)
Permalink: http://viaf.org/viaf/285726830
Preferred Forms
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX2SAT and MAX CUT | |
A linear-time transformation of linear inequalities into conjunctive normal form | |
Potential reduction algorithms for structured combinatorial optimization problems | |
A potential reduction approach to the frequency assignment problem | |
The propositional formula checker HeerHugo | |
Relaxations of the satisfiability problem using semidefinite programming | |
Satisfiability problems with balanced polynomial representation | |
Semidefinite programming approches for MAX-2-SAT and MAX-3-SAT : computational perspectives | |
Solving satisfiability problems using elliptic approximations- a note on volumes and weights | |
A two phase algorithm for solving a class of hard satisfiability problems |