Accéder directement au contenu

Andrei Romashchenko

CRCN CNRS, le Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM )
100%
Libre accès
1
Documents
Affiliations actuelles
  • 441569
  • 1100620
  • 1100637
Identifiants chercheurs
Contact

Présentation

See more detailes on my [homepage](http://www.lirmm.fr/~romashchen/ "homepage")
See more detailes on my [homepage](http://www.lirmm.fr/~romashchen/ "homepage")

Domaines de recherche

Théorie de l'information et codage [math.IT] Mathématique discrète [cs.DM] Complexité [cs.CC]

Publications

dmitry-sokolov
Image document

On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables

Dmitry Itsykson , Alexander Knop , Andrei Romashchenko , Dmitry Sokolov
STACS: Symposium on Theoretical Aspects of Computer Science, Mar 2017, Hannover, Germany. pp.43:1-43:14, ⟨10.4230/LIPIcs.STACS.2017.43⟩
Communication dans un congrès lirmm-01487646v1