Joost P. Warners

Available identifiers

Publication	Date of Publication	Type
A linear-time transformation of linear inequalities into conjunctive normal form	2016-06-09	Paper
On approximate graph colouring and MAX-\(k\)-CUT algorithms based on the \(\vartheta\)-function	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4550772	2003-06-18	Paper
Solving satisfiability problems using elliptic approximations. A note on volumes and weights	2003-03-10	Paper
The propositional formula checker HeerHugo	2001-11-21	Paper
Relaxations of the satisfiability problem using semidefinite programming	2001-10-21	Paper
Solving satisfiability problems using elliptic approximations -- effective branching rules	2001-07-29	Paper
Relaxations of the satisfiability problem using semidefinite programming	2001-07-26	Paper
A two-phase algorithm for solving a class of hard satisfiability problems	2001-05-20	Paper
The propositional formula checker HeerHugo	2001-05-01	Paper
Bounds and fast approximation algorithms for binary quadratic optimzation problems with application to MAX 2SAT	2001-02-18	Paper
Recognition of tractable satisfiability problems through balanced polynomial representations	2000-03-20	Paper

This page was built for person: Joost P. Warners