Quantified Boolean Formulas

01.03.2011 - 31.08.2019
Forschungsförderungsprojekt

wird nachgereicht

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Förderungsmittel

  • Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (Nationale Förderung) Förderschiene Nationales Forschungsnetzwerk (NFN) Förderprogramm Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Fördergeber Forschungsförderungsgesellschaft Reichweite Nationale Förderung Projekttyp Forschungsförderungsprojekt

Forschungsschwerpunkte

  • Information and Communication Technology

Schlagwörter

DeutschEnglisch
Boole'sche FormelnQuantified Boolean Formulas
KalkulationenCalculi
Satifiability SolvingSatifiability Solving
Computer Aided VerificationComputergestuetzte Kontrolle
Decision ProcedureEntscheidungsfindung