Dmitri Boulytchev

Publication Activity (10 Years)

Years Active: 2001-2018
Publications (10 Years): 2

Top Topics

Optimal Planning

Theorem Proving

Top Venues

Ershov Memorial Conference

Publications

Dmitri Boulytchev
Code Reuse With Transformation Objects. CoRR (2018)
Dmitri Rozplokhas, Dmitri Boulytchev
Improving Refutational Completeness of Relational Search via Divergence Test. PPDP (2018)
Anton Podkopaev, Dmitri Boulytchev
Polynomial-Time Optimal Pretty-Printing Combinators with Choice. Ershov Memorial Conference (2014)
Dmitri Boulytchev, Oleg S. Medvedev
Hardware description language based on message passing and implicit pipelining. EWDTS (2010)
Dmitri Boulytchev
BURS-Based Instruction Set Selection. Ershov Memorial Conference (2006)
Dmitri Boulytchev, Dmitry Lomov
An Empirical Study of Retargetable Compilers. Ershov Memorial Conference (2001)