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 accessResearch articleFirst published May, 2008

2006 and 2007 Max-SAT Evaluations: Contributed Instances

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

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published May, 2011

The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers

Federico Heras, David Bañeres

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2019

A multilevel synergy Thompson sampling hyper-heuristic for solving Max-SAT

Mourad Lassouaoui, Dalila Boughaci, Belaid Benhamou

Intelligent Decision Technologies

Open accessResearch articleFirst published February, 2010

Terse Integer Linear Programs for Boolean Optimization

Christoph Buchheim, Giovanni Rinaldi

Journal on Satisfiability,Boolean Modelling and Computation

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 accessResearch articleFirst published May, 2008

2006 and 2007 Max-SAT Evaluations: Contributed Instances

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

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published May, 2011

The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers

Federico Heras, David Bañeres

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2019

A multilevel synergy Thompson sampling hyper-heuristic for solving Max-SAT

Mourad Lassouaoui, Dalila Boughaci, Belaid Benhamou

Intelligent Decision Technologies

Open accessResearch articleFirst published February, 2010

Terse Integer Linear Programs for Boolean Optimization

Christoph Buchheim, Giovanni Rinaldi

Journal on Satisfiability,Boolean Modelling and Computation