João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



51
TITLE: Algorithms for computing backbones of propositional formulae  Full Text
AUTHORS: Janota, M; Lynce, I; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 24 Unpaywall
IN MY: DBLP
52
TITLE: Computing Maximal Autarkies with Few and Simple Oracle Queries
AUTHORS: Kullmann, O; Marques Silva, J ;
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 DBLP CrossRef Unpaywall
IN MY: DBLP
53
TITLE: Efficient Axiom Pinpointing with EL2MCS
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 38th German Conference on Artificial Intelligence (AI) in KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 9324
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
54
TITLE: Efficient Model Based Diagnosis with Maximum Satisfiability
AUTHORS: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
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
55
TITLE: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
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 DBLP CrossRef Unpaywall
IN MY: DBLP
56
TITLE: Expansion-based QBF solving versus Q-resolution  Full Text
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 577, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
57
TITLE: Literal-Based MCS Extraction
AUTHORS: Carlos Mencía; Alessandro Previti; João 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
58
TITLE: MaxSAT-based encodings for Group MaxSAT  Full Text
AUTHORS: Heras, F; Morgado, António ; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 8 Unpaywall
IN MY: DBLP
59
TITLE: MILP for the Multi-objective VM Reassignment Problem
AUTHORS: Saber, T; Ventresque, A; Marques Silva, J ; Thorburn, J; Murphy, L;
PUBLISHED: 2015, SOURCE: 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2015 IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2015), VOLUME: 2016-January
INDEXED IN: Scopus WOS DBLP CrossRef: 13 Unpaywall
IN MY: DBLP
60
TITLE: Prime Compilation of Non-Clausal Formulae
AUTHORS: Alessandro Previti; Alexey Ignatiev; Morgado, António ; João 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
Page 6 of 28. Total results: 271.

A place for researchers and their institutions

Useful Links

Get Help

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