Publisher
Springer International Publishing
Reference22 articles.
1. Berre, D.L., Parrain, A.: The SAT4J library, release 2.2. J. Satisfiability Boolean Model. Comput. 7, 50–64 (2010)
2. Buntine, W.L.: Generalized subsumption and its applications to induction and redundancy. Artif. Intell. 36(2), 149–176 (1988)
3. Chekuri, C., Rajaraman, A.: Conjunctive query containment revisited. Theor. Comput. Sci. 239(2), 211–229 (2000)
4. Dechter, R.: Constraint Processing. Elsevier Morgan Kaufmann, San Francisco (2003)
5. Lecture Notes in Computer Science;L Dehaspe,1997