Search:

Start a new search
Add/Remove Filters (2 filters currently applied)

Results 1-4 of 4 (Search time: 0.102 seconds).
 |  Relevance

 

  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1Jul-2000Positive unit hyperresolution tableaux and their application to minimal model generationBry, Francois; Yahya, Adnan
22000Positive Unit Hyper-Resolution Tableaux for Minimal Model GenerationYahya, Adnan; Bry, Francois
3Jun-1998Satchmo: minimal model generation and compilation (system description)Yahya, Adnan; Bruggemann, Thomas; Eisinger , Norbert; Panne, Sven; Torge, Sunna; Bry, Francois; Geisler, Tim; Schutz, Heribert
4May-1996Minimal model generation with positive unit hyper-resolution tableauxBry, Francois; Yahya, Adnan