Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/jar/HorrocksP02, title={Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability}, pages={173-204}, year={2002}, volume={28}, journal={J. Autom. Reasoning}, number={2}, url={http://www.informatik.uni-trier.de/~ley/db/journals/jar/jar28.html#HorrocksP02}, author={Ian Horrocks and Peter F. Patel-Schneider} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Evaluating_Optimized_Decision_Procedures_for_Propositional_Modal_K%28m%29_Satisfiability"
Personal tools