Gergely Kovásznai - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2019

Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network OptimizationGergely Kovásznai, Krisztián Gajdár, Laura Kovács. synasc 2019: 85-91 [doi]

2017

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories SolversGergely Kovásznai, Csaba Biró, Balazs Erdelyi. smt 2017: 15-27 [doi]

2016

Complexity of Fixed-Size Bit-Vector LogicsGergely Kovásznai, Andreas Fröhlich, Armin Biere. mst, 59(2):323-376, 2016. [doi]

2014

iDQ: Instantiation-Based DQBF SolvingAndreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith. sat 2014: 103-116 [doi]

On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicGergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere. mfcs 2014: 481-492 [doi]

2013

More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary EncodingAndreas Fröhlich, Gergely Kovásznai, Armin Biere. csr 2013: 378-390 [doi]

: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas intoGergely Kovásznai, Andreas Fröhlich, Armin Biere. cade 2013: 443-449 [doi]

2012

On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-WidthGergely Kovásznai, Andreas Fröhlich, Armin Biere. cade 2013: 44-56 [doi]

2011

Developing an expert system for diet recommendationGergely Kovásznai. saci 2011: 505-509 [doi]

2006

HyperS Tableaux - Heuristic Hyper TableauxGergely Kovásznai. actaC, 17(2):325-338, 2006. [doi]

2003

CAML - A Universal Configuration Language for Dialogue SystemsGergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas. DEXA 2003: 896-906 [doi]

Sign in or sign up to see more results.

runs on WebDSL