Publications

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

Results 1-3 of 3 (Search time: 0.063 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
2Jun-1998Satchmo: minimal model generation and compilation (system description)Yahya, Adnan; Bruggemann, Thomas; Eisinger , Norbert; Panne, Sven; Torge, Sunna; Bry, Francois; Geisler, Tim; Schutz, Heribert
3May-1996Minimal model generation with positive unit hyper-resolution tableauxBry, Francois; Yahya, Adnan