ML Anthology

Voronkov, Andrei

5 publications

AAAI 2005 Generation of Hard Non-Clausal Random Satisfiability Problems Juan Antonio Navarro Pérez, Andrei Voronkov
IJCAI 2003 Automated Reasoning: Past Story and New Trends Andrei Voronkov
IJCAI 2001 Splitting Without Backtracking Alexandre Riazanov, Andrei Voronkov
IJCAI 1997 Strategies in Rigid-Variable Methods Andrei Voronkov
IJCAI 1995 Equality Elimination for the Inverse Method and Extension Procedures Anatoli Degtyarev, Andrei Voronkov