论文信息 - Enhancing model finding techniques for function-free logics - 字舞流文

Enhancing model finding techniques for function-free logics

Andrei Voronkov | Renate A. Schmidt

[1] Boris Motik,et al. Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[2] Peter Baumgartner,et al. The Model Evolution Calculus , 2003, CADE.

[3] Koen Claessen,et al. New techniques that improve mace-style model nding , 2003 .

[4] Stephan Schulz. A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae , 2002, FLAIRS Conference.