João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



181
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
IN MY: DBLP
182
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 | DBLP
183
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 | DBLP
184
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
185
TITLE: Symmetry Breaking for Maximum Satisfiability
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 CrossRef Unpaywall
IN MY: ORCID | ResearcherID | DBLP
186
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 | DBLP
187
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: 2
IN MY: ORCID | DBLP
188
TITLE: Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection
AUTHORS: Joao Marques Silva ; Ines Lynce ; Ana Graca; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP
189
TITLE: Efficient haplotype inference with pseudo-boolean optimization
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Algebraic Biologh in Algebraic Biology, Proceedings, VOLUME: 4545
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID | DBLP
190
TITLE: Interpolant Learning and Reuse in SAT-Based Model Checking
AUTHORS: João Marques Silva ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
Page 19 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