Sciweavers

6 search results - page 2 / 2
» A Decomposition Rule for Decision Procedures by Resolution-B...
Sort
View
BIRTHDAY
2008
Springer
13 years 6 months ago
AND/OR Multi-valued Decision Diagrams for Constraint Networks
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
Robert Mateescu, Rina Dechter