João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



61
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
62
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
63
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
64
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
65
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
66
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
67
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
68
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
69
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
70
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 Unpaywall
IN MY: DBLP
Page 7 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