|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
106 | Rainer Manthey, François Bry |
SATCHMO: A Theorem Prover Implemented in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 415-434, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
68 | Lifeng He, Yuyan Chao, Hidenori Itoh |
R-SATCHMO: Refinements on I-SATCHMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 14(2), pp. 117-143, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
68 | Lifeng He |
I-SATCHMO: An Improvement of SATCHMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 27(3), pp. 313-322, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Yuyan Chao, Lifeng He, Tsuyoshi Nakamura, Zhenghao Shi, Kenji Suzuki 0001, Hidenori Itoh |
An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(4), pp. 541-553, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Herbrand’s theorem, Herbrand universe, model generation theorem proving, SATCHMO, really non-propositinal |
34 | Raffi Hagopian, John R. Davidson, Ruchira S. Datta, Bushra Samad, Glen R. Jarvis, Kimmen Sjölander |
SATCHMO-JS: a webserver for simultaneous protein multiple sequence alignment and phylogenetic tree construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 38(Web-Server-Issue), pp. 29-34, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Donald W. Loveland, Adnan H. Yahya |
Satchmorebid: Satchmo(Re) with BIDirectional Relevancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 21(3), pp. 177-207, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Robert C. Edgar, Kimmen Sjölander |
SATCHMO: Sequence Alignment and Tree Construction Using Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 19(11), pp. 1404-1411, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Tim Geisler, Sven Panne, Heribert Schütz |
Satchmo - The Compiling and Functional Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 18(2), pp. 227-236, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Donald W. Loveland, David W. Reed, Debra Sue Wilson |
SATCHMORE: SATCHMO with REIevancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 14(2), pp. 325-351, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | François Bry, Rainer Manthey |
Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270., pp. 205-216, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
34 | Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler |
The theorem prover SATCHMO : strategies, heuristics and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: JFPLC'95, IVèmes Journées Francophones de Programmation en Logique & Journée d'étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France, pp. 349-, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Norbert E. Fuchs, Uta Schwertel |
Reasoning in Attempto Controlled English. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSWR ![In: Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings, pp. 174-188, 2003, Springer, 3-540-20582-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Ryuzo Hasegawa, Hiroshi Fujita 0002, Miyuki Koshimura |
Efficient Minimal Model Generation Using Branching Lemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 184-199, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa |
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pp. 333-348, 1998, Springer, 3-540-64675-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Slim Abdennadher, Heribert Schütz |
Model Generation with Existentially Quantified Variables and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP/HOA ![In: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, Spetember 3-5, 1997, Proceedings, pp. 256-272, 1997, Springer, 3-540-63459-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Mary Cryan, Allan Ramsay |
Constructing a Normal Form for Property Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 237-251, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Heribert Schütz, Tim Geisler |
Efficient Model Generation through Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 433-447, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|