Search results

Articles (4)

Journals (0)

1-4 of 4 results for Max-SAT problem instances

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2008-5

2006 and 2007 Max-SAT Evaluations: Contributed Instances

Federico Heras, Javier Larrosa, Simon de Givry [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-5

Federico Heras, David Bañeres

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2019-5

Mourad Lassouaoui, Dalila Boughaci, Belaid Benhamou

Intelligent Decision Technologies

Open access

Research article

First published 2010-2

Christoph Buchheim, Giovanni Rinaldi

Journal on Satisfiability,Boolean Modelling and Computation