Concepedia

Olga Tveretina

OT

Statistics

Publications

2

Citations

34

H-Index

2

Active since

2003

Affiliations

Eindhoven University of Technology(Current)

Olga Tveretina is an author at Eindhoven University of Technology specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningVerificationSatisfiabilityComputer ScienceLogic ProgrammingFormal Verification

Publications per year

2003–2007

2

Publications

2

Binary decision diagrams for first-order predicate logic

Jan Friso Groote, Olga Tveretina · The Journal of Logic and Algebraic Programming · 2003 · 23 citations · Full text

Engineering, Automated Reasoning, First-order Predicate Logic +5

Generalizing DPLL and satisfiability for equalities

Bahareh Badban, Jaco van de Pol, Olga Tveretina et al. · Information and Computation · 2007 · 11 citations · Full text

Engineering, Automated Reasoning, Verification +5

1–2 of 2