João Paulo Marques da Silva
AuthID: R-000-J0P
51
TITLE: Computing maximal autarkies with few and simple oracle queries PDF
AUTHORS: Oliver Kullmann; Joao Marques Silva;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.02371
AUTHORS: Oliver Kullmann; Joao Marques Silva;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.02371
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP52
TITLE: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing PDF
AUTHORS: Fareed F Arif; Carlos Mencía; Joao Marques Silva;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.04365
AUTHORS: Fareed F Arif; Carlos Mencía; Joao Marques Silva;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.04365
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP53
TITLE: On Computing Preferred MUSes and MCSes
AUTHORS: Joao Marques-Silva; Alessandro Previti;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
AUTHORS: Joao Marques-Silva; Alessandro Previti;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
INDEXED IN: 
CrossRef
CrossRef54
TITLE: On the implementation of weak constraints in WASP (Preliminary report)
AUTHORS: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLISHED: 2014, SOURCE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
AUTHORS: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLISHED: 2014, SOURCE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
INDEXED IN: 
Scopus
Scopus55
TITLE: Quantified Maximum Satisfiability:
AUTHORS: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
AUTHORS: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
Unpaywall
Unpaywall56
TITLE: On QBF Proofs and Preprocessing PDF
AUTHORS: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.2491
AUTHORS: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.2491
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP57
TITLE: HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY Full Text
AUTHORS: FLORIAN LETOMBE; JOAO MARQUES SILVA;
PUBLISHED: 2012, SOURCE: International Journal on Artificial Intelligence Tools
AUTHORS: FLORIAN LETOMBE; JOAO MARQUES SILVA;
PUBLISHED: 2012, SOURCE: International Journal on Artificial Intelligence Tools
INDEXED IN: Unpaywall
Unpaywall58
TITLE: Improvements to satisfiability-based boolean function bi-decomposition
AUTHORS: Huan Chen; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip
AUTHORS: Huan Chen; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip
INDEXED IN: Unpaywall
Unpaywall59
TITLE: Haplotype Inference Using Propositional Satisfiability
AUTHORS: Ana Graça; João Marques Silva; Inês Lynce;
PUBLISHED: 2010, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
AUTHORS: Ana Graça; João Marques Silva; Inês Lynce;
PUBLISHED: 2010, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXED IN: Unpaywall
Unpaywall60
TITLE: Haplotype Inference by Pure Parsimony: A Survey
AUTHORS: Ana Graça; Inês Lynce; João Marques Silva; Arlindo L. Oliveira;
PUBLISHED: 2010, SOURCE: Journal of Computational Biology
AUTHORS: Ana Graça; Inês Lynce; João Marques Silva; Arlindo L. Oliveira;
PUBLISHED: 2010, SOURCE: Journal of Computational Biology
INDEXED IN: Unpaywall
Unpaywall