loading...
(No)good Recording and ROBDDs for Solving Structured (V)CSPs
Arlington, Virginia November 13-November 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2006.118th IEEE International Conference on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Karim Boutaleb, Universite Paul Cezanne, France
Philippe Jegou, Universite Paul Cezanne, France
Cyril Terrioux, Universite Paul Cezanne, France
It was shown that constraint satisfaction problems (CSPs) with a low width can be solved efficiently by structural methods. However, these methods often present an important drawback: they generally require a large amount of memory space, what makes their use difficult or impossible. For instance, the BTD method solves efficiently difficult instances thanks to the recording of goods and nogoods. As this recording may require an exponential memory size, the exploitation of a compact data structure is crucial. In this paper, we propose to store (no)goods in Binary Decision Diagrams (BDD). BDDs are data structures which efficiently represent informations in a compact and canonical form. Finally, we assess the practical interest of this tradeoff which allows to save space memory and consequently to solve problems that cannot be solved without BDDs.
Citation:
Karim Boutaleb, Philippe Jegou, Cyril Terrioux, "(No)good Recording and ROBDDs for Solving Structured (V)CSPs," ictai, pp.297-304, 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.