João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



61
TITLE: SAT-Based Horn Least Upper Bounds
AUTHORS: Carlos Mencia; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
INDEXED IN: Scopus WOS
62
TITLE: SAT-Based Horn Least Upper Bounds
AUTHORS: Carlos Mencía; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340
INDEXED IN: DBLP CrossRef Unpaywall
IN MY: DBLP
63
TITLE: Smallest MUS Extraction with Minimal Hitting Set Dualization
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
64
TITLE: Solving QBF by Clause Selection
AUTHORS: Mikolás Janota; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
INDEXED IN: Scopus DBLP
IN MY: DBLP
65
TITLE: Towards Efficient Axiom Pinpointing of EL+ Ontologies PDF
AUTHORS: Fareed F Arif; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1503.08454
INDEXED IN: DBLP arXiv
IN MY: DBLP
66
TITLE: A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
AUTHORS: Yuri Malitsky; Barry O'Sullivan; Alessandro Previti; João Marques Silva ;
PUBLISHED: 2014, SOURCE: Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings, VOLUME: 8451
INDEXED IN: DBLP
IN MY: DBLP
67
TITLE: Algorithms for computing minimal equivalent subformulas  Full Text
AUTHORS: Belov, A; Janota, M; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
INDEXED IN: Scopus WOS DBLP CrossRef: 8 Unpaywall
IN MY: DBLP
68
TITLE: Core-Guided MaxSAT with Soft Cardinality Constraints
AUTHORS: Morgado, António ; Dodaro, C; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXED IN: Scopus WOS DBLP CrossRef: 42 Unpaywall
69
TITLE: Efficient Autarkies
AUTHORS: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V ; Lynce, I ;
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: 6
70
TITLE: Efficient Relaxations of Over-constrained CSPs
AUTHORS: Carlos Mencía; Joao Marques Silva ;
PUBLISHED: 2014, SOURCE: 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014
INDEXED IN: DBLP
IN MY: DBLP
Page 7 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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