Alessandro Previti

3 papers in the IJCAI proceedings

IJCAI 2015

Literal-Based MCS Extraction

with Carlos Mencía, João P. Marques Silva

Details PDF

Prime Compilation of Non-Clausal Formulae

with Alexey Ignatiev, António Morgado, João P. Marques Silva

Details PDF

IJCAI 2013

On Computing Minimal Correction Subsets

with João P. Marques Silva, Federico Heras, Mikolás Janota, Anton Belov

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings