João Paulo Marques da Silva
AuthID: R-000-J0P
61
TÃTULO: Computing maximal autarkies with few and simple oracle queries PDF
AUTORES: Oliver Kullmann; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.02371
AUTORES: Oliver Kullmann; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.02371
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP62
TÃTULO: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing PDF
AUTORES: Fareed F Arif; Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.04365
AUTORES: Fareed F Arif; Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.04365
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP63
TÃTULO: On Computing Preferred MUSes and MCSes
AUTORES: Joao Marques-Silva; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
AUTORES: Joao Marques-Silva; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
INDEXADO EM: 
CrossRef
CrossRef64
TÃTULO: On the implementation of weak constraints in WASP (Preliminary report)
AUTORES: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLICAÇÃO: 2014, FONTE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
AUTORES: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLICAÇÃO: 2014, FONTE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
INDEXADO EM: 
Scopus
Scopus65
TÃTULO: Quantified Maximum Satisfiability:
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
Unpaywall
Unpaywall66
TÃTULO: On QBF Proofs and Preprocessing PDF
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.2491
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.2491
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP67
TÃTULO: HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY Full Text
AUTORES: FLORIAN LETOMBE; JOAO MARQUES SILVA;
PUBLICAÇÃO: 2012, FONTE: International Journal on Artificial Intelligence Tools
AUTORES: FLORIAN LETOMBE; JOAO MARQUES SILVA;
PUBLICAÇÃO: 2012, FONTE: International Journal on Artificial Intelligence Tools
INDEXADO EM: Unpaywall
Unpaywall68
TÃTULO: Towards efficient MUS extraction Full Text
AUTORES: Anton Belov; Inês Lynce ; Joao Marques Silva;
PUBLICAÇÃO: 2012, FONTE: AI Communications, VOLUME: 25, NÚMERO: 2
AUTORES: Anton Belov; Inês Lynce ; Joao Marques Silva;
PUBLICAÇÃO: 2012, FONTE: AI Communications, VOLUME: 25, NÚMERO: 2
69
TÃTULO: Improvements to satisfiability-based boolean function bi-decomposition
AUTORES: Huan Chen; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip
AUTORES: Huan Chen; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip
INDEXADO EM: Unpaywall
Unpaywall70
TÃTULO: Restoring CSP Satisfiability with MaxSAT Full Text
AUTORES: Inês Lynce ; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3
AUTORES: Inês Lynce ; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3
