Olga Tveretina

zbMath Opentveretina.olgaMaRDI QIDQ823763

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Non-local configuration of component interfaces by constraint satisfaction Constraints	2021-12-16	Paper
ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems	2021-12-14	Paper
Deciding reachability for 3-dimensional multi-linear systems	2021-03-03	Paper
Deciding reachability for piecewise constant derivative systems on orientable manifolds	2019-10-22	Paper
EufDPLL -- a tool to check satisfiability of equality logic formulas Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
A conditional superpolynomial lower bound for extended resolution Language and Automata Theory and Applications	2013-03-18	Paper
Ordered binary decision diagrams, pigeonhole formulas and beyond	2011-06-14	Paper
scientific article; zbMATH DE number 5850005 (Why is no real title available?)	2011-02-10	Paper
LATIN 2004: Theoretical Informatics Lecture Notes in Computer Science	2009-05-07	Paper
Modular Development of Hybrid Systems for Verification in Coq Hybrid Systems: Computation and Control	2008-09-02	Paper
Generalizing DPLL and satisfiability for equalities Information and Computation	2007-08-23	Paper
Mathematical Foundations of Computer Science 2005 Lecture Notes in Computer Science	2006-10-20	Paper
Artificial Intelligence and Symbolic Computation Lecture Notes in Computer Science	2005-08-19	Paper
Binary decision diagrams for first-order predicate logic. The Journal of Logic and Algebraic Programming	2004-03-14	Paper

Research outcomes over time

This page was built for person: Olga Tveretina