Joost P. Warners

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A linear-time transformation of linear inequalities into conjunctive normal form Information Processing Letters	2016-06-09	Paper
On approximate graph colouring and MAX-\(k\)-CUT algorithms based on the \(\vartheta\)-function Journal of Combinatorial Optimization	2004-11-22	Paper
scientific article; zbMATH DE number 1795723 (Why is no real title available?)	2003-06-18	Paper
Solving satisfiability problems using elliptic approximations. A note on volumes and weights Annals of Mathematics and Artificial Intelligence	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 Discrete Applied Mathematics	2001-07-29	Paper
Relaxations of the satisfiability problem using semidefinite programming Journal of Automated Reasoning	2001-07-26	Paper
A two-phase algorithm for solving a class of hard satisfiability problems Operations Research Letters	2001-05-20	Paper
The propositional formula checker HeerHugo Journal of Automated Reasoning	2001-05-01	Paper
Bounds and fast approximation algorithms for binary quadratic optimzation problems with application to MAX 2SAT Discrete Applied Mathematics	2001-02-18	Paper
Recognition of tractable satisfiability problems through balanced polynomial representations Discrete Applied Mathematics	2000-03-20	Paper

Research outcomes over time

This page was built for person: Joost P. Warners