Expensive SAT checks in ACDL

[rajdeep87]

Domain Subsumption checks are very expensive operations (obtained from MiniSAT statistics). So, we need an alternative cheaper syntactic subsumption check in ACDL.