João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 264



171
TITLE: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTHORS: Lynce, I ; Graça, A; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
172
TITLE: Haplotype inference with Boolean satisfiability
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 16 Unpaywall
173
TITLE: Improvements to Hybrid Incremental SAT Algorithms
AUTHORS: Florian Letombe; João Marques Silva ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008 in Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, VOLUME: 4996
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
174
TITLE: Model Checking Event-B by Encoding into Alloy
AUTHORS: Paulo J Matos; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, VOLUME: 5238
INDEXED IN: DBLP
175
TITLE: Model checking with Boolean Satisfiability  Full Text
AUTHORS: Marques Silva, J ;
PUBLISHED: 2008, SOURCE: JOURNAL OF ALGORITHMS, VOLUME: 63, ISSUE: 1-3
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | ResearcherID
176
TITLE: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
AUTHORS: Federico Heras; Vasco M Manquinho ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21 in Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
INDEXED IN: Scopus DBLP
IN MY: ORCID
177
TITLE: Practical applications of boolean satisfiability
AUTHORS: Joao Marques Silva ;
PUBLISHED: 2008, SOURCE: Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08
INDEXED IN: Scopus CrossRef: 51 Unpaywall
IN MY: ORCID
178
TITLE: Symmetry Breaking for Maximum Satisfiability PDF
AUTHORS: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLISHED: 2008, SOURCE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, VOLUME: 5330
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 3 Unpaywall
179
TITLE: Towards more effective unsatisfiability-based maximum satisfiability algorithms
AUTHORS: Joao Marques Silva ; Vasco Manquinho ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID
180
TITLE: Breaking symmetries in SAT matrix models
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2007, SOURCE: 10th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, VOLUME: 4501
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
Page 18 of 27. Total results: 264.

footer slogan

Useful Links

Get Help

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