Edit Profile (opens in new tab) Tveretina, Olga Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 2 single-authored 4 Zantema, Hans 2 Sandler, Andrei 2 van de Pol, Jan Cornelis 1 Badban, Bahareh 1 Funke, Daniel 1 Groote, Jan Friso 1 Niqui, Milad 1 Shafarenko, Alex 1 Sinz, Carsten 1 Wesselink, Wieger 1 Zaichenkov, Pavel Serials 1 Information and Computation 1 Constraints 1 The Journal of Logic and Algebraic Programming 1 WSEAS Transactions on Mathematics 1 Journal of Satisfiability, Boolean Modeling and Computation Fields 14 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 3 Systems theory; control (93-XX) 1 Ordinary differential equations (34-XX) Publications by Year all cited Publications top 5 cited Publications 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.03012Groote, Jan Friso; Tveretina, Olga 3 2003 A decision procedure for equality logic with uninterpreted functions. Zbl 1109.68581Tveretina, Olga 2 2004 Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans 2 2007 Ordered binary decision diagrams, pigeonhole formulas and beyond. Zbl 1221.68105Tveretina, Olga; Sinz, Carsten; Zantema, Hans 1 2010 Non-local configuration of component interfaces by constraint satisfaction. Zbl 07446939Tveretina, Olga; Zaichenkov, Pavel; Shafarenko, Alex 1 2020 A proof system and a decision procedure for equality logic. Zbl 1196.03045Tveretina, Olga; Zantema, Hans 1 2004 Modular development of hybrid systems for verification in Coq. Zbl 1143.68580Niqui, Milad; Tveretina, Olga 1 2008 Non-local configuration of component interfaces by constraint satisfaction. Zbl 07446939Tveretina, Olga; Zaichenkov, Pavel; Shafarenko, Alex 1 2020 Ordered binary decision diagrams, pigeonhole formulas and beyond. Zbl 1221.68105Tveretina, Olga; Sinz, Carsten; Zantema, Hans 1 2010 Modular development of hybrid systems for verification in Coq. Zbl 1143.68580Niqui, Milad; Tveretina, Olga 1 2008 Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans 2 2007 A decision procedure for equality logic with uninterpreted functions. Zbl 1109.68581Tveretina, Olga 2 2004 A proof system and a decision procedure for equality logic. Zbl 1196.03045Tveretina, Olga; Zantema, Hans 1 2004 Binary decision diagrams for first-order predicate logic. Zbl 1035.03012Groote, Jan Friso; Tveretina, Olga 3 2003 all cited Publications top 5 cited Publications all top 5 Cited by 23 Authors 2 Khardon, Roni 2 Tveretina, Olga 2 Zantema, Hans 1 Axenovich, Maria A. 1 Badban, Bahareh 1 Barnett, Lee A. 1 Biere, Armin 1 Brain, Martin 1 D’silva, Vijay 1 Griggio, Alberto 1 Groote, Jan Friso 1 Haller, Leopold 1 Hescott, Benjamin J. 1 Joshi, Saket 1 Kersting, Kristian 1 Kröning, Daniel 1 Krug, Marcus 1 Niqui, Milad 1 Osang, Georg 1 Rutter, Ignaz 1 Shafarenko, Alex 1 van de Pol, Jan Cornelis 1 Zaichenkov, Pavel Cited in 5 Serials 2 Artificial Intelligence 1 Discrete Applied Mathematics 1 Information and Computation 1 Formal Methods in System Design 1 Constraints Cited in 3 Fields 7 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) Citations by Year