João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



51
TITLE: Efficient Model Based Diagnosis with Maximum Satisfiability
AUTHORS: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2015, SOURCE: IJCAI, VOLUME: 2015-January
INDEXED IN: Scopus DBLP
52
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
53
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
54
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
55
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
56
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
57
TITLE: Prime Compilation of Non-Clausal Formulae
AUTHORS: Alessandro Previti; Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLISHED: 2015, SOURCE: IJCAI, VOLUME: 2015-January
INDEXED IN: Scopus DBLP
58
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; 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
IN MY: DBLP
59
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; 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: WOS
60
TITLE: SAT-based formula simplification
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9340
INDEXED IN: Scopus
Page 6 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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