Abstract | ||
---|---|---|
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding of these rules that preserves the reduction properties of CSP. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-85776-1_34 | AIMSA |
Keywords | Field | DocType |
sat encoding,uniform propagation framework,multiple interleaved alldiff constraint,reduction property,csp reduction rule,sat approaches,interleaved alldifferent constraints | Computer science,Theoretical computer science,Encoding (memory) | Conference |
Volume | ISSN | Citations |
5253 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frédéric Lardeux | 1 | 154 | 14.31 |
Eric Monfroy | 2 | 579 | 63.05 |
Frédéric Saubion | 3 | 312 | 37.00 |