Computational Space Efficiency and Minimal Model Generation for Guarded Formulae

Lilia Georgieva, U Hustadt, R Schmidt

Research output: Contribution to conferencePaper

12 Citations (Scopus)
Original languageEnglish
Pages34-43
Number of pages10
Publication statusPublished - 2001
EventInternational Joint Conference of Automated Reasoning - Siena, Italy
Duration: 1 Jan 2001 → …

Conference

ConferenceInternational Joint Conference of Automated Reasoning
Abbreviated titleIJCAR2001
CountryItaly
CitySiena
Period1/01/01 → …

Cite this