Dimitri Chubarov

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Dimitri Chubarov, Andrei Voronkov
Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications. MFCS (2005)
Dimitri Chubarov, Andrei Voronkov
Solving First-Order Constraints over the Monadic Class. Mechanizing Mathematical Reasoning (2005)