João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 264



151
TITLE: On Computing Backbones of Propositional Theories
AUTHORS: Marques Silva, J ; Janota, M; Lynce, I ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXED IN: Scopus WOS DBLP CrossRef: 6
152
TITLE: Solving Linux Upgradeability Problems Using Boolean Optimization
AUTHORS: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Silva ; Pascal Rapicault;
PUBLISHED: 2010, SOURCE: LoCoCo
INDEXED IN: DBLP
IN MY: DBLP
153
TITLE: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas  Full Text
AUTHORS: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLISHED: 2009, SOURCE: CONSTRAINTS, VOLUME: 14, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 27 Unpaywall
IN MY: ORCID | DBLP
154
TITLE: A Lazy Unbounded Model Checker for Event-B
AUTHORS: Paulo J Matos; Bernd Fischer; João P Marques Silva ;
PUBLISHED: 2009, SOURCE: 11th International Conference on Formal Engineering Methods, ICFEM 2009 in Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
155
TITLE: Algorithms for finding dispensable variables PDF
AUTHORS: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.0013
INDEXED IN: DBLP arXiv
IN MY: DBLP
156
TITLE: Algorithms for Weighted Boolean Optimization
AUTHORS: Vasco M Manquinho ; João P Marques Silva ; Jordi Planes;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 in Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, VOLUME: 5584
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
157
TITLE: Conflict-Driven Clause Learning SAT Solvers
AUTHORS: João Marques Silva ; Inês Lynce ; Sharad Malik;
PUBLISHED: 2009, SOURCE: Handbook of Satisfiability, VOLUME: 185, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 42
158
TITLE: Industrial-Strength Formally Certified SAT Solving PDF
AUTHORS: Ashish Darbari; Bernd Fischer; João P Marques Silva ;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0911.1678
INDEXED IN: DBLP arXiv
IN MY: DBLP
159
TITLE: On Solving Boolean Multilevel Optimization Problems
AUTHORS: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
160
TITLE: Restoring CSP Satisfiability with MaxSAT
AUTHORS: Inês Lynce ; João Marques Silva ;
PUBLISHED: 2009, SOURCE: RCRA@AI*IA, VOLUME: 589, ISSUE: 2-3
INDEXED IN: Scopus DBLP CrossRef: 1 Unpaywall
IN MY: ORCID | DBLP
Page 16 of 27. Total results: 264.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service