Search results

Articles (4)

Journals (0)

1-4 of 4 results for partial Max-SAT solver

Sort by:

Relevance

Select all

Sort by:

Relevance

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

Retricted access

Other

First published 2011-2

Josep Argelich

The European Journal on Artificial Intelligence

Open access

Research article

First published 2008-5

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

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-11

Marco Maratea

The European Journal on Artificial Intelligence