Efficient Minimal Model Generation Using Branching Lemmas-Reference-Cited by-同舟云学术

Efficient Minimal Model Generation Using Branching Lemmas

Published:2000 Issue: Volume: Page:184-199
ISSN:0302-9743
Container-title:Automated Deduction - CADE-17
language:
Short-container-title:

Author:

Hasegawa Ryuzo,Fujita Hiroshi,Koshimura Miyuki

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10721959_15

Reference12 articles.

1. Lecture Notes in Computer Science;F. Bry,1996

2. Bry, F.: (1999), http://www.pms.informatik.uni-muenchen.de/software/MM-SATCHMO/

3. Fujita, H., Hasegawa, R.: Implementing a Model-Generation Based Theorem Prover MGTP in Java. Research Reports on Information Science and Electrical Engineering of Kyushu University 3(1), 63–68 (1998)

4. Hasegawa, R., Fujita, H.: A New Implementation Technique for Model Generation Theorem Provers To Solve Constraint Satisfaction Problems. Research Reports on Information Science and Electrical Engineering of Kyushu University 4(1), 57–62 (1999)

5. Lecture Notes in Computer Science;K. Inoue,1992

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Minimisation of ATL $$^*$$ ∗ Models;Lecture Notes in Computer Science;2017

2. First-Order Resolution Methods for Modal Logics;Programming Logics;2013

3. Answer Set Computation Based on a Minimal Model Generation Theorem Prover;PRICAI 2004: Trends in Artificial Intelligence;2004

4. Mechanised Reasoning and Model Generation for Extended Modal Logics;Lecture Notes in Computer Science;2003

5. A Model Generation Based Theorem Prover MGTP for First-Order Logic;Computational Logic: Logic Programming and Beyond;2002