Mikolás Janota

3 papers in the IJCAI proceedings

IJCAI 2015

Efficient Model Based Diagnosis with Maximum Satisfiability

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

Details PDF

Solving QBF by Clause Selection

with João P. Marques Silva

Details PDF

IJCAI 2013

On Computing Minimal Correction Subsets

with João P. Marques Silva, Federico Heras, Alessandro Previti, Anton Belov

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings