Journal article

Solving set constraint satisfaction problems using ROBDDS

P Hawkins, V Lagoon, PJ Stuckey

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | AI ACCESS FOUNDATION | Published : 2005