Dimitri Chubarov

According to our database, Dimitri Chubarov authored at least 2 papers in 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications.

Dimitri Chubarov, Andrei Voronkov

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

Solving First-Order Constraints over the Monadic Class.

Dimitri Chubarov, Andrei Voronkov

Proceedings of the Mechanizing Mathematical Reasoning, 2005