João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



101
TÍTULO: Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions
AUTORES: Joao Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
102
TÍTULO: Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality PDF
AUTORES: Anton Belov; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.1257
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
103
TÍTULO: HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY  Full Text
AUTORES: Letombe, F; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 21, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP
104
TÍTULO: Improvements to Core-Guided Binary Search for MaxSAT
AUTORES: Morgado, António ; Federico Heras; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: SAT, VOLUME: 7317 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 23 Unpaywall
NO MEU: ORCID
105
TÍTULO: Iterative SAT Solving for Minimum Satisfiability
AUTORES: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Unpaywall
NO MEU: ORCID
106
TÍTULO: Knowledge Compilation with Empowerment
AUTORES: Lucas Bordeaux; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
107
TÍTULO: Lower Bounds and Upper Bounds for MaxSAT
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: LION, VOLUME: 7219 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID
108
TÍTULO: MaxSAT-Based MCS Enumeration
AUTORES: Morgado, António ; Mark H Liffiton; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: Haifa Verification Conference, VOLUME: 7857 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 19 Unpaywall
109
TÍTULO: MUSer2: An Efficient MUS Extractor PDF
AUTORES: Anton Belov; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 3/4
INDEXADO EM: DBLP
NO MEU: DBLP
110
TÍTULO: New & improved models for SAT-based bi-decomposition
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
Página 11 de 27. Total de resultados: 266.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service