Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Quantified Boolean Formulas
01.03.2011 - 31.08.2019
Forschungsförderungsprojekt
wird nachgereicht
Personen
Projektleiter_in
Ao.Univ.Prof. Dipl.-Ing. Dr.rer.nat. Uwe Egly
(E192-03)
Projektmitarbeiter_innen
Annemarie Goldmann BSc
(E192-03)
Projektass.(FWF) Dipl.-Ing. Dr.techn. Florian Matthias Lonsing
(E192-03)
Projektass. Dipl.-Ing. Christian Antic BSc
(E192-03)
Projektass. Dipl.-Ing. Dr.techn. Magdalena Widl Bakk.rer.soc.oec.
(E192-03)
Institut
E192-03 - Forschungsbereich Knowledge Based Systems
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Forschungsschwerpunkte
Information and Communication Technology
Schlagwörter
Deutsch
Englisch
Boole'sche Formeln
Quantified Boolean Formulas
Kalkulationen
Calculi
Satifiability Solving
Satifiability Solving
Computer Aided Verification
Computergestuetzte Kontrolle
Decision Procedure
Entscheidungsfindung