DBLP:journals/jar/HorrocksP02 + redirect page
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability + Has identifier
| Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability |
Has publishing details
28(2):173-204, 2002
Has title
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Has url
http://www.informatik.uni-trier.de/~ley/db/journals/jar/jar28.html#HorrocksP02
Has where published
J. Autom. Reasoning
Has year
2002
Has author
Ian Horrocks +, Peter F. Patel-Schneider +
Has identifier
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability +
Categories Journal Paper +
|
