João Paulo Marques da Silva
AuthID: R-000-J0P
61
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
DBLP62
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
Unpaywall63
TITLE: Towards efficient MUS extraction Full Text
AUTHORS: Anton Belov; Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2012, SOURCE: AI Communications, VOLUME: 25, ISSUE: 2
AUTHORS: Anton Belov; Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2012, SOURCE: AI Communications, VOLUME: 25, ISSUE: 2
64
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
Unpaywall65
TITLE: Restoring CSP Satisfiability with MaxSAT Full Text
AUTHORS: Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3
AUTHORS: Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3
66
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP67
TITLE: Boolean satisfiability and EDA applications
AUTHORS: Joao Marques Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification, VOLUME: 9780521859721
AUTHORS: Joao Marques Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification, VOLUME: 9780521859721
INDEXED IN: 
Scopus
Scopus68
TITLE: Boolean satisfiability and EDA applications
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification
INDEXED IN: 
CrossRef
CrossRef69
TITLE: Algorithms for Weighted Boolean Optimization PDF
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP70
TITLE: How to Complete an Interactive Configuration Process? PDF
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP