 | 2009 |
|---|
| 9 |       | Olga Tveretina,
Carsten Sinz,
Hans Zantema:
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas
CoRR abs/0909.5038: (2009) |
| 8 | | Olga Tveretina,
Wieger Wesselink:
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas.
Electr. Notes Theor. Comput. Sci. 225: 405-420 (2009) |
| 2008 |
|---|
| 7 | | Milad Niqui,
Olga Tveretina:
Modular Development of Hybrid Systems for Verification in Coq.
HSCC 2008: 638-641 |
| 2007 |
|---|
| 6 | | Bahareh Badban,
Jaco van de Pol,
Olga Tveretina,
Hans Zantema:
Generalizing DPLL and satisfiability for equalities.
Inf. Comput. 205(8): 1188-1211 (2007) |
| 2005 |
|---|
| 5 | | Jaco van de Pol,
Olga Tveretina:
A BDD-Representation for the Logic of Equality and Uninterpreted Functions.
MFCS 2005: 769-780 |
| 2004 |
|---|
| 4 | | Olga Tveretina:
A Decision Procedure for Equality Logic with Uninterpreted Functions.
AISC 2004: 66-79 |
| 3 | | Olga Tveretina,
Hans Zantema:
A Proof System and a Decision Procedure for Equality Logic.
LATIN 2004: 530-539 |
| 2003 |
|---|
| 2 | | Jan Friso Groote,
Olga Tveretina:
Binary decision diagrams for first-order predicate logic.
J. Log. Algebr. Program. 57(1-2): 1-22 (2003) |
| 1998 |
|---|
| 1 | | Lilia Kashirova,
Olga Tveretina:
Entropy-Based Design of Low Power FSMs.
EUROMICRO 1998: 10188-10191 |
