João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



71
TITLE: Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
AUTHORS: Saïd Jabbour; Joao Marques Silva ; Lakhdar Sais; Yakoub Salhi;
PUBLISHED: 2014, SOURCE: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, VOLUME: 8761
INDEXED IN: DBLP
IN MY: DBLP
72
TITLE: MSCG: Robust Core-Guided MaxSAT Solving
AUTHORS: Morgado, António ; Alexey Ignatiev; João Marques Silva ;
PUBLISHED: 2014, SOURCE: J. Satisf. Boolean Model. Comput., VOLUME: 9, ISSUE: 1
INDEXED IN: DBLP
73
TITLE: MUS Extraction Using Clausal Proofs
AUTHORS: Anton Belov; Marijn Heule; João Marques Silva ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: DBLP
74
TITLE: MUS Extraction Using Clausal Proofs
AUTHORS: Anton Belov; Marijn J H Heule; Joao Marques Silva ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
INDEXED IN: WOS
75
TITLE: On Computing Preferred MUSes and MCSes
AUTHORS: João Marques Silva ; Alessandro Previti;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
INDEXED IN: Scopus DBLP Unpaywall
IN MY: DBLP
76
TITLE: On lazy and eager interactive reconfiguration
AUTHORS: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLISHED: 2014, SOURCE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
INDEXED IN: Scopus DBLP CrossRef: 5 Unpaywall
IN MY: DBLP
77
TITLE: On Reducing Maximum Independent Set to Minimum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Unpaywall
78
TITLE: On the Query Complexity of Selecting Few Minimal Sets
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2014, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21
INDEXED IN: DBLP
IN MY: DBLP
79
TITLE: Progression in Maximum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Manquinho, V ; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: Scopus WOS DBLP CrossRef: 10
80
TITLE: SAT Solvers
AUTHORS: Joao Marques Silva ; Inês Lynce ;
PUBLISHED: 2014, SOURCE: Tractability: Practical Approaches to Hard Problems
INDEXED IN: DBLP
IN MY: DBLP
Page 8 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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