João P. Marques Silva

7 papers in the IJCAI proceedings

IJCAI 2015

Efficient Model Based Diagnosis with Maximum Satisfiability

with Mikolás Janota, Alexey Ignatiev, António Morgado

Details PDF

Literal-Based MCS Extraction

with Carlos Mencía, Alessandro Previti

Details PDF

Prime Compilation of Non-Clausal Formulae

with Alessandro Previti, Alexey Ignatiev, António Morgado

Details PDF

Solving QBF by Clause Selection

with Mikolás Janota

Details PDF

IJCAI 2013

On Computing Minimal Correction Subsets

with Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov

Details PDF

IJCAI 2011

Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms

with Federico Heras

doi:10.5591/978-1-57735-516-8/IJCAI11-103

Details PDF

IJCAI 2009

On Solving Boolean Multilevel Optimization Problemse

with Josep Argelich, Inês Lynce

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings