- 1
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
- andrei-romashchenko
- ResearcherId : H-7456-2012
- 0000-0001-7723-7880
- IdRef : 165481277
- ResearcherId : http://www.researcherid.com/rid/H-7456-2012
- Arxiv : romashchenko_a_1
- Google Scholar : https://scholar.google.fr/citations?user=WmvoaNcAAAAJ
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of VariablesSTACS: 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
|