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 Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (National)
Nationales Forschungsnetzwerk (NFN)
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Fördergeber Typ Forschungsförderungsinstitutionen
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