Olga Tveretina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2004–2016
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | IFM | A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. | Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko |
| 2013 | LATA | A Conditional Superpolynomial Lower Bound for Extended Resolution. | Olga Tveretina |
| 2005 | MFCS | A BDD-Representation for the Logic of Equality and Uninterpreted Functions. | Jaco van de Pol, Olga Tveretina |
| 2004 | AISC | A Decision Procedure for Equality Logic with Uninterpreted Functions. | Olga Tveretina |
| 2004 | LATIN | A Proof System and a Decision Procedure for Equality Logic. | Olga Tveretina, Hans Zantema |