Search results

Articles (4)

Journals (0)

1-4 of 4 results for Partial Max-SAT

Sort by:

Relevance

Select all

Sort by:

Relevance

Open accessResearch articleFirst published February, 2012

QMaxSAT: A Partial Max-SAT Solver

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

Journal on Satisfiability,Boolean Modelling and Computation

Available accessOtherFirst published February, 2011

Max-SAT formalisms with hard and soft constraints

Josep Argelich

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published May, 2008

The First and Second Max-SAT Evaluations

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

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published November, 2012

Planning as satisfiability with IPC simple preferences and action costs

Marco Maratea

The European Journal on Artificial Intelligence

Search results

Articles (4)

Journals (0)

1-4 of 4 results for Partial Max-SAT

Sort by:

Relevance

Select all

Sort by:

Relevance

Open accessResearch articleFirst published February, 2012

QMaxSAT: A Partial Max-SAT Solver

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

Journal on Satisfiability,Boolean Modelling and Computation

Available accessOtherFirst published February, 2011

Max-SAT formalisms with hard and soft constraints

Josep Argelich

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published May, 2008

The First and Second Max-SAT Evaluations

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

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published November, 2012

Planning as satisfiability with IPC simple preferences and action costs

Marco Maratea

The European Journal on Artificial Intelligence