The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting

The contribution of this paper is in demonstrating the impact of AND/OR search spaces view on solutions counting. In contrast to the traditional (OR) search space view, the AND/OR search space displays independencies present in the graphical model explicitly and may sometimes reduce the search space exponentially. Empirical evaluation focusing on counting demonstrates the spectrum of search and inference within the AND/OR search spaces.

• Type: Conference
• Year: 2004
• Where: CP
• Authors: Rina Dechter, Robert Mateescu
• Keywords: And/or Search Spaces, CP 2004, Programming Languages, Search Space Displays, Search Spaces