João Marques-Silva - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Automated Design Debugging With Maximum SatisfiabilityYibin Chen, Sean Safarpour, João Marques-Silva, Andreas G. Veneris. tcad, 29(11):1804-1817, 2010. [doi]

Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model CheckingLucas Cordeiro, Bernd Fischer, João Marques-Silva. ECBS 2010: 160-169 [doi]

Industrial-Strength Certified SAT Solving through Verified SAT Proof CheckingAshish Darbari, Bernd Fischer, João Marques-Silva. ictac 2010: 260-274 [doi]

Counterexample Guided Abstraction Refinement Algorithm for Propositional CircumscriptionMikolás Janota, Radu Grigore, João Marques-Silva. jelia 2010: 195-207 [doi]

On Computing Backbones of Propositional TheoriesJoão Marques-Silva, Mikolás Janota, Inês Lynce. ecai 2010: 15-20 [doi]

Combinatorial Optimization Solutions for the Maximum Quartet Consistency ProblemAntónio Morgado, João Marques-Silva. FUIN, 102(3-4):363-389, 2010. [doi]

2008

Efficient Haplotype Inference with Combined CP and OR TechniquesAna Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira. cpaior 2008: 308-312 [doi]

On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean OptimizationFederico Heras, Vasco M. Manquinho, João Marques-Silva. flairs 2008: 71-76

Improvements to Hybrid Incremental SAT AlgorithmsFlorian Letombe, João Marques-Silva. sat 2008: 168-181 [doi]

Haplotype Inference with Boolean SatisfiabilityInês Lynce, João Marques-Silva. ijait, 17(2):355-387, 2008. [doi]

Haplotype Inference with Boolean Constraint Solving: An OverviewInês Lynce, Ana Graça, João Marques-Silva, Arlindo L. Oliveira. ictai 2008: 92-100 [doi]

Boosting Haplotype Inference with Local SearchInês Lynce, João Marques-Silva, Steven David Prestwich. constraints, 13(1-2):155-179, 2008. [doi]

Symmetry Breaking for Maximum SatisfiabilityJoão Marques-Silva, Inês Lynce, Vasco M. Manquinho. lpar 2008: 1-15 [doi]

Algorithms for Maximum Satisfiability using Unsatisfiable CoresJoão Marques-Silva, Jordi Planes. date 2008: 408-413 [doi]

Towards More Effective Unsatisfiability-Based Maximum Satisfiability AlgorithmsJoão Marques-Silva, Vasco M. Manquinho. sat 2008: 225-230 [doi]

Model checking with Boolean SatisfiabilityJoão Marques-Silva. jal, 63(1-3):3-16, 2008. [doi]

A MAX-SAT Algorithm PortfolioPaulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva. ecai 2008: 911-912 [doi]

Model Checking Event-B by Encoding into AlloyPaulo J. Matos, João Marques-Silva. asmta 2008: 346 [doi]

2007

Towards Equivalence Checking Between TLM and RTL ModelsNicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva. memocode 2007: 113-122 [doi]

Efficient Haplotype Inference with Pseudo-boolean OptimizationAna Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira. ab 2007: 125-139 [doi]

Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype SelectionJoão Marques-Silva, Inês Lynce, Ana Graça, Arlindo L. Oliveira. epia 2007: 621-632 [doi]

Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, ProceedingsJoão Marques-Silva, Karem A. Sakallah, editors, Volume 4501 of Lecture Notes in Computer Science, Springer, 2007.

Report on the SAT 2007 Conference on Theory and Applications of Satisfiability TestingJoão Marques-Silva, Karem A. Sakallah, Inês Lynce. aim, 28(4):135-136, 2007. [doi]

Interpolant Learning and Reuse in SAT-Based Model CheckingJoão Marques-Silva. ENTCS, 174(3):31-43, 2007. [doi]

2006

Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean KernelOliver Kullmann, Inês Lynce, João Marques-Silva. sat 2006: 22-35 [doi]

Efficient Haplotype Inference with Boolean SatisfiabilityInês Lynce, João Marques-Silva. AAAI 2006:

SAT in Bioinformatics: Making the Case with Haplotype InferenceInês Lynce, João Marques-Silva. sat 2006: 136-141 [doi]

2005

Heuristic-Based Backtracking Relaxation for Propositional SatisfiabilityAteet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva. JAR, 35(1-3):3-24, 2005. [doi]

2001

Stochastic Systematic Search Algorithms for SatisfiabilityInês Lynce, Luís Baptista, João Marques-Silva. endm, 9:190-204, 2001. [doi]