Search results

Articles (5)

Journals (0)

1-5 of 5 results for Boolean cardinality constraints

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

Open access

Research article

First published 2006-2

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2014-6

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2019-3-25

Todd W. Neller, Ziqian Luo

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 2012-5

Ruben Martins, Vasco Manquinho, Inês Lynce

The European Journal on Artificial Intelligence