Author:Gergely Kovásznai

Publications
Puli - A Problem-Specific OMT Solver Gergely Kovásznai, Csaba Biró and Balázs Erdélyi EasyChair Preprint no. 371
iDQ: Instantiation-Based DQBF Solving Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut Veith In:POS-14. Fifth Pragmatics of SAT workshop
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width Gergely Kovásznai, Andreas Fröhlich and Armin Biere In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories