Publications

Results 1-3 of 3 (Search time: 0.066 seconds).

	Issue Date	Title	Author(s)
1	Jul-2000	Positive unit hyperresolution tableaux and their application to minimal model generation	Bry, Francois; Yahya, Adnan
2	Jun-1998	Satchmo: minimal model generation and compilation (system description)	Yahya, Adnan; Bruggemann, Thomas; Eisinger , Norbert; Panne, Sven; Torge, Sunna; Bry, Francois; Geisler, Tim; Schutz, Heribert
3	May-1996	Minimal model generation with positive unit hyper-resolution tableaux	Bry, Francois; Yahya, Adnan