×
Compute Distance To:
Author ID: tveretina.olga Recent zbMATH articles by "Tveretina, Olga"
Published as: Tveretina, Olga
External Links: MGP
Documents Indexed: 14 Publications since 2002
Co-Authors: 11 Co-Authors with 12 Joint Publications
208 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 11 times in 9 Documents Cited by Year
Binary decision diagrams for first-order predicate logic. Zbl 1035.03012
Groote, Jan Friso; Tveretina, Olga
3
2003
A decision procedure for equality logic with uninterpreted functions. Zbl 1109.68581
Tveretina, Olga
2
2004
Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102
Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans
2
2007
Ordered binary decision diagrams, pigeonhole formulas and beyond. Zbl 1221.68105
Tveretina, Olga; Sinz, Carsten; Zantema, Hans
1
2010
Non-local configuration of component interfaces by constraint satisfaction. Zbl 07446939
Tveretina, Olga; Zaichenkov, Pavel; Shafarenko, Alex
1
2020
A proof system and a decision procedure for equality logic. Zbl 1196.03045
Tveretina, Olga; Zantema, Hans
1
2004
Modular development of hybrid systems for verification in Coq. Zbl 1143.68580
Niqui, Milad; Tveretina, Olga
1
2008
Non-local configuration of component interfaces by constraint satisfaction. Zbl 07446939
Tveretina, Olga; Zaichenkov, Pavel; Shafarenko, Alex
1
2020
Ordered binary decision diagrams, pigeonhole formulas and beyond. Zbl 1221.68105
Tveretina, Olga; Sinz, Carsten; Zantema, Hans
1
2010
Modular development of hybrid systems for verification in Coq. Zbl 1143.68580
Niqui, Milad; Tveretina, Olga
1
2008
Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102
Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans
2
2007
A decision procedure for equality logic with uninterpreted functions. Zbl 1109.68581
Tveretina, Olga
2
2004
A proof system and a decision procedure for equality logic. Zbl 1196.03045
Tveretina, Olga; Zantema, Hans
1
2004
Binary decision diagrams for first-order predicate logic. Zbl 1035.03012
Groote, Jan Friso; Tveretina, Olga
3
2003

Citations by Year