João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



101
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
102
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
103
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
104
TITLE: Improvements to Core-Guided Binary Search for MaxSAT
AUTHORS: Morgado, António ; Federico Heras; João Marques Silva ;
PUBLISHED: 2012, SOURCE: SAT, VOLUME: 7317 LNCS
INDEXED IN: Scopus DBLP CrossRef: 23 Unpaywall
IN MY: ORCID
105
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: 10 Unpaywall
IN MY: ORCID
106
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
107
TITLE: Lower Bounds and Upper Bounds for MaxSAT
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: LION, VOLUME: 7219 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3 Unpaywall
IN MY: ORCID
108
TITLE: MaxSAT-Based MCS Enumeration
AUTHORS: Morgado, António ; Mark H Liffiton; João Marques Silva ;
PUBLISHED: 2012, SOURCE: Haifa Verification Conference, VOLUME: 7857 LNCS
INDEXED IN: Scopus DBLP CrossRef: 19 Unpaywall
109
TITLE: MUSer2: An Efficient MUS Extractor PDF
AUTHORS: Anton Belov; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 3/4
INDEXED IN: DBLP
IN MY: DBLP
110
TITLE: New & improved models for SAT-based bi-decomposition
AUTHORS: Huan Chen; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 22nd Great Lakes Symposium on VLSI, GLSVLSI'2012 in Great Lakes Symposium on VLSI 2012, GLSVLSI'12, Salt Lake City, UT, USA, May 3-4, 2012
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
Page 11 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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