Menu

Skip to content

Home
The server
Special cases
- Max-Cut
Write to LogOptimize

we.logoptimize.it

the portal of 0-1 optimization

The output formats

The server produces output files according to the following four formats:

The DIMACS format for Max-Sat instances
The format for Polynomial 0-1 instances
The format for General Logic Optimization
The format for Max-Cut instances

Home » The output formats

LogOptimize is up again

After a period of inactivity, due to technical problems, the portal is up again. We apologize for the inconvenience.

About this site

WE.LOGOPTIMIZE.IT is the web site of a virtual laboratory where an international team of researchers develops methods, algorithms and software for solving hard logic (or 0-1) optimization problems to certified optimality.

The main purpose of the web site is to provide the visitor with a friendly access to a solver to which instances of these problems can be freely submitted.

Million-node Max-Cut instances

The server is now powered by SpeeDP, an algorithm able to solve million-node instances of Max-Cut