(Dual) Projected Propositional Model Counting and Enumeration without Repetition
Sprache des Vortragstitels:
Englisch
Original Kurzfassung:
A new tableau rule for extending our formal calculi for propositional model counting and enumeration under projection is introduced. The working or the resulting tableau calculus is demonstrated by means of an example.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Andere Vorträge und Präsentationen
Vortragsdatum:
24.09.2020
Vortragsort:
Österreich
Details zum Vortragsort:
online aufgrund von COVID-19 (geplant: ISR, Formal Methods in Computer-Aided Design 2020 ? Student Forum)
Forschungs-