Olga Tveretina

Identifiers

• name variant Olga Tveretina 0.60 · backfill

Papers (3)

1. Resolution Simulates Ordered Binary Decision Diagrams for Formulas in Conjunctive Normal Form cs.LO · 2017 · author #1
2. A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces cs.LO · 2016 · author #2
3. Interface Reconciliation in Kahn Process Networks using CSP and SAT cs.PL · 2015 · author #2

Mentions

• 1503.00622 #2 · backfill · confidence 0.70 Olga Tveretina

Frequent Coauthors

• Alex Shafarenko 2 shared papers
• Pavel Zaichenkov 2 shared papers