Sage Journals: Discover world-class research

Open access

Research article

First published 2008-5

The First and Second Max-SAT Evaluations

Josep Argelich, Chu-Min Li, Felip Manyà [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Other

First published 2011-2

Max-SAT formalisms with hard and soft constraints

Josep Argelich

The European Journal on Artificial Intelligence

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 2012-2

QMaxSAT: A Partial Max-SAT Solver

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2014-6

ahmaxsat : Description and Evaluation of a Branch and Bound Max-SAT Solver

André Abramé, Djamal Habet

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2008-5

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis 1

Knot Pipatsrisawat, Akop Palyan, Mark Chavira [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-5

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

Federico Heras, David Bañeres

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2019-5

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

Mourad Lassouaoui, Dalila Boughaci, Belaid Benhamou

Intelligent Decision Technologies

Retricted access

Research article

First published 2012-11

Planning as satisfiability with IPC simple preferences and action costs

Marco Maratea

The European Journal on Artificial Intelligence

Open access

Research article

First published 2006-2

Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems

Miguel F. Anjos

Journal on Satisfiability,Boolean Modelling and Computation

Search results