Olga Tveretina

From MaRDI portal
Person:823763

Available identifiers

zbMath Open tveretina.olgaMaRDI QIDQ823763

List of research outcomes





PublicationDate of PublicationType
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces2024-02-21Paper
Non-local configuration of component interfaces by constraint satisfaction2021-12-16Paper
https://portal.mardi4nfdi.de/entity/Q33841782021-12-14Paper
https://portal.mardi4nfdi.de/entity/Q49647322021-03-03Paper
Deciding reachability for piecewise constant derivative systems on orientable manifolds2019-10-22Paper
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas2015-03-23Paper
A conditional superpolynomial lower bound for extended resolution2013-03-18Paper
Ordered binary decision diagrams, pigeonhole formulas and beyond2011-06-14Paper
https://portal.mardi4nfdi.de/entity/Q30751282011-02-10Paper
LATIN 2004: Theoretical Informatics2009-05-07Paper
Modular Development of Hybrid Systems for Verification in Coq2008-09-02Paper
Generalizing DPLL and satisfiability for equalities2007-08-23Paper
Mathematical Foundations of Computer Science 20052006-10-20Paper
Artificial Intelligence and Symbolic Computation2005-08-19Paper
Binary decision diagrams for first-order predicate logic.2004-03-14Paper

Research outcomes over time

This page was built for person: Olga Tveretina

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:823763&oldid=7658523"
Powered by MediaWiki