Abstract | ||
---|---|---|
We define new encodings from Max-CSP into Partial Max-SAT which are obtained by modelling the at-most-one condition with the sequential SAT encoding of the cardinality constraint ≤ 1 (x 1 , ...,x n ). They have fewer clauses than the existing encodings, and the experimental results indicate that they have a better performance profile. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-02777-2_17 | SAT |
Keywords | Field | DocType |
partial max-sat,sequential encodings,fewer clause,new encodings,existing encodings,sequential sat encoding,cardinality constraint,better performance profile,at-most-one condition | Maximum satisfiability problem,Discrete mathematics,Combinatorics,Cardinality,Auxiliary variables,Mathematics,Encoding (memory) | Conference |
Volume | ISSN | Citations |
5584 | 0302-9743 | 4 |
PageRank | References | Authors |
0.42 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Josep Argelich | 1 | 190 | 18.95 |
Alba Cabiscol | 2 | 31 | 3.86 |
Inês Lynce | 3 | 889 | 58.30 |
Felip Manyà | 4 | 787 | 59.52 |