João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



101
TITLE: SAT-Based Preprocessing for MaxSAT
AUTHORS: Anton Belov; Morgado, António ; 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: 11 Unpaywall
IN MY: DBLP
102
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
103
TITLE: An Empirical Study of Encodings for Group MaxSAT
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 25th Canadian Conference on Artificial Intelligence, AI 2012 in Advances in Artificial Intelligence - 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings, VOLUME: 7310
INDEXED IN: Scopus DBLP CrossRef: 3 Unpaywall
IN MY: ORCID | DBLP
104
TITLE: Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions
AUTHORS: Joao Marques Silva ;
PUBLISHED: 2012, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, ISSUE: 1-3
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
105
TITLE: Efficient and accurate haplotype inference by combining parsimony and pedigree information
AUTHORS: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Algebraic and Numeric Biology, ANB 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6479 LNCS
INDEXED IN: Scopus CrossRef: 9
IN MY: ORCID
106
TITLE: Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality PDF
AUTHORS: Anton Belov; João Marques Silva ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.1257
INDEXED IN: DBLP arXiv
IN MY: DBLP
107
TITLE: HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY  Full Text
AUTHORS: Letombe, F; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 21, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
108
TITLE: Improvements to Core-Guided Binary Search for MaxSAT
AUTHORS: Morgado, António ; Federico Heras; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
INDEXED IN: Scopus DBLP CrossRef: 22 Unpaywall
IN MY: ORCID | DBLP
109
TITLE: Iterative SAT Solving for Minimum Satisfiability
AUTHORS: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI) in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
110
TITLE: Knowledge Compilation with Empowerment
AUTHORS: Lucas Bordeaux; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012 in SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings, VOLUME: 7147
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
Page 11 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