Evaluating Optimised Decision Procedures for Propositional Modal K(m) Satisfiability
I. Horrocks and P. F. Patel−Schneider
Details
| Address |
Amsterdam |
| Book Title |
Highlights of Satisfiability Research in the Year 2000 |
| Editor |
I. Gent and H. van Maaren and T. Walsh |
| ISBN |
1 58603 061 2 |
| Publisher |
ISO Press |
| Series |
Frontiers in Artificial Intelligence and Applications |
| Volume |
63 |
| Year |
2000 |