Maaren H. van

H. van Maaren

Information about the author H. van Maaren will soon be added to the site.
Found 2 papers in total
A two-phase algorithm for solving a class of hard satisfiability problems
1998
The DIMACS suite of satisfiability benchmarks contains a set of instances that are...
Inverse barriers and CES-functions in linear programming
1997
Recently, much attention was paid to polynomial interior point methods, almost...
Papers per page: