Search results for "SATCHMO"

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.	CADE	1988	DBLP DOI BibTeX RDF
68	Lifeng He, Yuyan Chao, Hidenori Itoh	R-SATCHMO: Refinements on I-SATCHMO.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
68	Lifeng He	I-SATCHMO: An Improvement of SATCHMO.	J. Autom. Reason.	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.	J. Comput. Sci. Technol.	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.	Nucleic Acids Res.	2010	DBLP DOI BibTeX RDF
34	Donald W. Loveland, Adnan H. Yahya	Satchmorebid: Satchmo(Re) with BIDirectional Relevancy.	New Gener. Comput.	2003	DBLP DOI BibTeX RDF
34	Robert C. Edgar, Kimmen Sjölander	SATCHMO: Sequence Alignment and Tree Construction Using Hidden Markov Models.	Bioinform.	2003	DBLP DOI BibTeX RDF
34	Tim Geisler, Sven Panne, Heribert Schütz	Satchmo - The Compiling and Functional Variants.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
34	Donald W. Loveland, David W. Reed, Debra Sue Wilson	SATCHMORE: SATCHMO with REIevancy.	J. Autom. Reason.	1995	DBLP DOI BibTeX RDF
34	François Bry, Rainer Manthey	Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser.	WLP	1995	DBLP BibTeX RDF
34	Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler	The theorem prover SATCHMO : strategies, heuristics and applications.	JFPLC	1995	DBLP BibTeX RDF
24	Norbert E. Fuchs, Uta Schwertel	Reasoning in Attempto Controlled English.	PPSWR	2003	DBLP DOI BibTeX RDF
24	Ryuzo Hasegawa, Hiroshi Fujita 0002, Miyuki Koshimura	Efficient Minimal Model Generation Using Branching Lemmas.	CADE	2000	DBLP DOI BibTeX RDF
24	Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa	On the Relationship Between Non-Horn Magic Sets and Relevancy Testing.	CADE	1998	DBLP DOI BibTeX RDF
24	Slim Abdennadher, Heribert Schütz	Model Generation with Existentially Quantified Variables and Constraints.	ALP/HOA	1997	DBLP DOI BibTeX RDF
24	Mary Cryan, Allan Ramsay	Constructing a Normal Form for Property Theory.	CADE	1997	DBLP DOI BibTeX RDF
24	Heribert Schütz, Tim Geisler	Efficient Model Generation through Compilation.	CADE	1996	DBLP DOI BibTeX RDF