Olga Tveretina

dblp:19/6696 · DBLP profile ↗

← Back

6ranked-venue papers

2as first author

1since 2021 · last 2022

0000-0001-5211-1843ORCID · corroborated

Theory of computation · 6 · 2 first-author · 1 since 2021Software engineering, systems software and programming languages · 1

Year	Publication	Venue	Position
2022	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces abstract The mortality problem for a given dynamical system S consists of determining whether every trajectory of S eventually halts. In this work, we show that this problem is decidable for the class of piecewise constant derivative systems on two-dimensional manifolds, also called surfaces (). Two closely related open problems are point-to-point and edge-to-edge reachability for . Mateus de Oliveira Oliveira, Olga Tveretina	HSCC	2
2016	A Constraint Satisfaction Method for Configuring Non-local Service Interfaces Pavel Zaichenkov, Olga Tveretina, Alexander V. Shafarenko	IFM	2
2013	A Conditional Superpolynomial Lower Bound for Extended Resolution Olga Tveretina	LATA	1
2007	Generalizing DPLL and satisfiability for equalities Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema	Inf. Comput.	3
2005	A BDD-Representation for the Logic of Equality and Uninterpreted Functions Jaco van de Pol, Olga Tveretina	MFCS	2
2004	A Proof System and a Decision Procedure for Equality Logic Olga Tveretina, Hans Zantema	LATIN	1