7 citations · 7 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2017
Resolution Simulates Ordered Binary Decision Diagrams for Formulas in Conjunctive Normal Form
Olga Tveretina
A classical question of propositional logic is one of the shortest proof of a tautology. A related fundamental problem is to determine the relative efficiency of standard proof sys…
cs.LO2016
A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
Modularity and decontextualisation are core principles of a service-oriented architecture. However, the principles are often lost when it comes to an implementation of services, as…
cs.LO2011
Deciding Reachability for 3-Dimensional Multi-Linear Systems
Olga Tveretina, Daniel Funke
This paper deals with the problem of point-to-point reachability in multi-linear systems. These systems consist of a partition of the Euclidean space into a finite number of region…