Katalin Fazekas

 

Research Interests

  • Satisfiability Modulo Theories (SMT), Quantified Boolean Formulas (QBF), SAT

Current Position


Education

  • MSc in Software Engineering (JKU Linz), master thesis: EUF-Proofs for SMT4J, August 2015
  • BSc in Software Information Technology (ELTE Budapest)

Publications

  1. Katalin Fazekas, Martina Seidl, Armin Biere, A Duality-Aware Calculus for Quantified Boolean Formulas [pdf] in: SYNASC 2016, pages 181-186, 2016.