Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vladimir Ulyantsev
Map detail
Vladimir Ulyantsev3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipVladimir UlyantsevAVladimir UlyantsevResearcherSymmetry Breaking Predicates for SAT-based DFA IdentificationWSymmetry Breaking Predi...preprint / 2016Exact Finite-State Machine Identification from Scenarios and Temporal PropertiesWExact Finite-State Mach...preprint / 2016
Person2 links

Vladimir Ulyantsev

Researcher