João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



91
TITLE: On Computing Minimal Correction Subsets
AUTHORS: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLISHED: 2013, SOURCE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
INDEXED IN: Scopus DBLP
IN MY: DBLP
92
TITLE: On Propositional QBF Expansions and Q-Resolution
AUTHORS: Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
93
TITLE: On Propositional QBF Expansions and Q-Resolution
AUTHORS: Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 20
INDEXED IN: DBLP
IN MY: DBLP
94
TITLE: On QBF Proofs and Preprocessing
AUTHORS: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: DBLP
95
TITLE: Parallel MUS Extraction
AUTHORS: Anton Belov; Norbert Manthey; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
96
TITLE: Partial MUS Enumeration
AUTHORS: Alessandro Previti; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.
INDEXED IN: Scopus DBLP
IN MY: DBLP
97
TITLE: Quantified Maximum Satisfiability: - A Core-Guided Approach
AUTHORS: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP
98
TITLE: SAT-Based Preprocessing for MaxSAT
AUTHORS: Anton Belov; Morgado, António ; João Marques Silva ;
PUBLISHED: 2013, SOURCE: LPAR, VOLUME: 8312 LNCS
INDEXED IN: Scopus DBLP CrossRef: 12 Unpaywall
99
TITLE: Solving QBF with Free Variables
AUTHORS: Klieber, W; Janota, M; Marques Silva, J ; Clarke, E;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
100
TITLE: An Empirical Study of Encodings for Group MaxSAT
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: Canadian AI, VOLUME: 7310 LNAI
INDEXED IN: Scopus DBLP CrossRef: 3 Unpaywall
IN MY: ORCID
Page 10 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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