| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Huan Chen 0001, João Marques-Silva |
TG-Pro: A SAT-based ATPG System.  |
JSAT  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva |
PackUp: Tools for Package Upgradability Solving. |
JSAT |
2012 |
DBLP BibTeX RDF |
|
| 1 | Huan Chen 0001, João Marques-Silva |
New & improved models for SAT-based bi-decomposition. |
ACM Great Lakes Symposium on VLSI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Huan Chen 0001, Mikolás Janota, João Marques-Silva |
QBf-based boolean function bi-decomposition. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, João Marques-Silva |
Knowledge Compilation with Empowerment. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
Restoring CSP Satisfiability with MaxSAT. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Haplotype inference with pseudo-Boolean optimization. |
Annals OR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger |
Lazy Decomposition for Distributed Decision Procedures |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | António Morgado, João Marques-Silva |
On Validating Boolean Optimizers |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Karem A. Sakallah, João Marques-Silva |
Anatomy and Empirical Evaluation of Modern SAT Solvers. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce |
Boolean lexicographic optimization: algorithms & applications. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce |
Haplotype Inference Using Propositional Satisfiability. |
Mathematical Approaches to Polymer Sequence Analysis and Related Problems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Heras, João Marques-Silva |
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Huan Chen 0001, João Marques-Silva |
Improvements to satisfiability-based boolean function bi-decomposition. |
VLSI-SoC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, João Marques-Silva |
cmMUS: A Tool for Circumscription-Based MUS Membership Testing. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | António Morgado, João Marques-Silva |
On Validating Boolean Optimizers. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Heras, António Morgado, João Marques-Silva |
Core-Guided Binary Search Algorithms for Maximum Satisfiability. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Huan Chen 0001, Mikolás Janota, João P. Marques Silva |
QBF-Based Boolean Function Bi-Decomposition |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | João P. Marques Silva, Inês Lynce |
On Improving MUS Extraction Algorithms. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadi Katebi, Karem A. Sakallah, João P. Marques Silva |
Empirical Study of the Anatomy of Modern Sat Solvers. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, João P. Marques Silva |
Abstraction-Based Algorithm for 2QBF. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Belov, João P. Marques Silva |
Minimally Unsatisfiable Boolean Circuits. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, João P. Marques Silva |
On Deciding MUS Membership with QBF. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yibin Chen, Sean Safarpour, João Marques-Silva, Andreas G. Veneris |
Automated Design Debugging With Maximum Satisfiability. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | António Morgado, João Marques-Silva |
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, João Marques-Silva, Radu Grigore |
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | João Marques-Silva, Mikolás Janota, Inês Lynce |
On Computing Backbones of Propositional Theories. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva |
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories |
| 1 | Ashish Darbari, Bernd Fischer 0002, João Marques-Silva |
Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, Radu Grigore, João Marques-Silva |
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, Inês Lynce, João Marques-Silva, Arlindo L. Oliveira |
Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information. |
ANB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault |
Solving Linux Upgradeability Problems Using Boolean Optimization |
LoCoCo |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | João P. Marques Silva |
Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper). |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, Goetz Botterweck, Radu Grigore, João P. Marques Silva |
How to Complete an Interactive Configuration Process? |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah |
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability |
| 1 | Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva |
How to Complete an Interactive Configuration Process? |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mikolás Janota, João Marques-Silva, Radu Grigore |
Algorithms for finding dispensable variables |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Huan Chen 0001, João Marques-Silva |
TG-PRO: A new model for SAT-based ATPG. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva |
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories |
| 1 | Lucas Cordeiro, Bernd Fischer 0002, Huan Chen 0001, João Marques-Silva |
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Darbari, Bernd Fischer 0002, João P. Marques Silva |
Industrial-Strength Formally Certified SAT Solving |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Josep Argelich, Inês Lynce, João P. Marques Silva |
On Solving Boolean Multilevel Optimization Problems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vasco M. Manquinho, João P. Marques Silva, Jordi Planes |
Algorithms for Weighted Boolean Optimization |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002, João P. Marques Silva |
SMT-Based Bounded Model Checking for Embedded ANSI-C Software |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002, João P. Marques Silva |
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | João P. Marques Silva, Inês Lynce, Sharad Malik |
Conflict-Driven Clause Learning SAT Solvers. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo J. Matos, Bernd Fischer 0002, João P. Marques Silva |
A Lazy Unbounded Model Checker for Event-B. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Argelich, Inês Lynce, João P. Marques Silva |
On Solving Boolean Multilevel Optimization Problemse. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yibin Chen, Sean Safarpour, Andreas G. Veneris, João P. Marques Silva |
Spatial and temporal design debug using partial MaxSAT. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
maximum satisfiability, design debugging |
| 1 | Vasco M. Manquinho, João P. Marques Silva, Jordi Planes |
Algorithms for Weighted Boolean Optimization. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
Haplotype Inference with Boolean Satisfiability. |
International Journal on Artificial Intelligence Tools |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva, Steven David Prestwich |
Boosting Haplotype Inference with Local Search. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
Local search, Boolean satisfiability, Haplotype inference |
| 1 | João Marques-Silva |
Model checking with Boolean Satisfiability. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Inês Lynce, Vasco M. Manquinho |
Symmetry Breaking for Maximum Satisfiability |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paulo J. Matos, João Marques-Silva |
Model Checking Event-B by Encoding into Alloy |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, Vasco M. Manquinho, João Marques-Silva |
Backtracking. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva |
A MAX-SAT Algorithm Portfolio. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Inês Lynce, Vasco M. Manquinho |
Symmetry Breaking for Maximum Satisfiability. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Letombe, João Marques-Silva |
Improvements to Hybrid Incremental SAT Algorithms. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Vasco M. Manquinho |
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Jordi Planes |
Algorithms for Maximum Satisfiability using Unsatisfiable Cores. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Efficient Haplotype Inference with Combined CP and OR Techniques. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, Ana Graça, João Marques-Silva, Arlindo L. Oliveira |
Haplotype Inference with Boolean Constraint Solving: An Overview. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Heras, Vasco M. Manquinho, João Marques-Silva |
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. |
FLAIRS Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paulo J. Matos, João Marques-Silva |
Model Checking Event-B by Encoding into Alloy. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | António Morgado, João P. Marques Silva |
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | João Marques-Silva |
Interpolant Learning and Reuse in SAT-Based Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Jordi Planes |
On Using Unsatisfiability for Solving Maximum Satisfiability |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | João Marques-Silva, Karem A. Sakallah, Inês Lynce |
Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. |
AI Magazine |
2007 |
DBLP BibTeX RDF |
|
| 1 | João Marques-Silva, Inês Lynce, Ana Graça, Arlindo L. Oliveira |
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection. |
EPIA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva |
Towards Equivalence Checking Between TLM and RTL Models. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Karem A. Sakallah (eds.) |
Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings |
SAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Efficient Haplotype Inference with Pseudo-boolean Optimization. |
AB |
2007 |
DBLP DOI BibTeX RDF |
pure parsimony, pseudo-Boolean optimization, haplotype inference |
| 1 | Inês Lynce, João P. Marques Silva |
Random backtracking in backtrack search algorithms for satisfiability. |
Discrete Applied Mathematics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Breaking Symmetries in SAT Matrix Models. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | João P. Marques Silva, Inês Lynce |
Towards Robust CNF Encodings of Cardinality Constraints. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
SAT in Bioinformatics: Making the Case with Haplotype Inference. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kullmann, Inês Lynce, João Marques-Silva |
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva |
Efficient Haplotype Inference with Boolean Satisfiability. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vasco M. Manquinho, João P. Marques Silva |
On Using Cutting Planes in Pseudo-Boolean Optimization. |
JSAT |
2006 |
DBLP BibTeX RDF |
|
| 1 | António Morgado, Paulo J. Matos, Vasco M. Manquinho, João P. Marques Silva |
Counting Models in Integer Domains. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva |
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Efficient data structures for backtrack search SAT solvers. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
backtrack search, propositional satisfiability |
| 1 | Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João P. Marques Silva, Karem A. Sakallah |
A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco M. Manquinho, João P. Marques Silva |
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | João P. Marques Silva |
Improvements to the Implementation of Interpolant-Based Model Checking. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco M. Manquinho, João P. Marques Silva |
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco M. Manquinho, João P. Marques Silva |
Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | António Morgado, João P. Marques Silva |
Good Learning and Implicit Model Enumeration. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco M. Manquinho, João P. Marques Silva |
Satisfiability-Based Algorithms for Boolean Optimization. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability |
| 1 | Inês Lynce, João P. Marques Silva |
On Computing Minimum Unsatisfiable Cores. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Vasco M. Manquinho, João P. Marques Silva |
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Elsa Carvalho, João P. Marques Silva |
Using Rewarding Mechanisms for Improving Branching Heuristics. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco M. Manquinho, João P. Marques Silva |
Integration of Lower Bound Estimates in Pseudo-Boolean Optimization. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
An Overview of Backtrack Search Satisfiability Algorithms. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | João P. Marques Silva, Luís Guerra e Silva |
Solving Satisfiability in Combinational Circuits. |
IEEE Design & Test of Computers |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva |
Heuristic-Based Backtracking for Propositional Satisfiability. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, João P. Marques Silva |
Probing-Based Preprocessing Techniques for Propositional Satisfiability. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva |
Heuristic Backtracking Algorithms for SAT. |
MTV |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")