Search
 
loader loading subjects...
cover
Set-Labeled Diagrams for CSP Compilation
Alexandre Niveau, Hélène Fargier, Cédric Pralet
216 - 227
10.3233/978-1-61499-096-3-216
Frontiers in Artificial Intelligence and Applications
Volume 241: STAIRS 2012
Abstract

Knowledge compilation structures such as MDDs have been proposed as a way to compile CSPs, to make requests tractable online, in cases where solving is not possible. This paper studies the interest in relaxing two assumptions usually imposed on MDDs, static ordering and read-once property, using a new compilation structure called Set-labeled Diagrams, which are compiled by tracing the search tree explored by a CSP solver. The impact of read-once and static ordering is assessed by simply playing on the variable choice heuristics used during search in the CSP solver.

Download
Creative Commons License