Quantified Boolean Formulas

01.03.2011 - 31.08.2019
Research funding project

awird nachgereicht

People

Project leader

Project personnel

Institute

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) National Research Network (NFN) Austrian Science Fund (FWF)

Research focus

  • Business Informatics: 10%
  • Computational Intelligence: 90%

Keywords

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

Publications