João P. Marques Silva

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 1

Top Topics

Existentially Quantified

Boolean Satisfiability

Top Venues

Publications

Alexey Ignatiev, João P. Marques Silva
SAT-Based Rigorous Explanations for Decision Lists. SAT (2021)
Federico Heras, António Morgado, Jordi Planes, João P. Marques Silva
Iterative SAT Solving for Minimum Satisfiability. ICTAI (2012)
Lucas Bordeaux, Mikolás Janota, João P. Marques Silva, Pierre Marquis
On Unit-Refutation Complete Formulae with Existentially Quantified Variables. KR (2012)
João P. Marques Silva, Inês Lynce
On Improving MUS Extraction Algorithms. SAT (2011)
Mikolás Janota, João P. Marques Silva
On Deciding MUS Membership with QBF. CP (2011)
Hadi Katebi, Karem A. Sakallah, João P. Marques Silva
Empirical Study of the Anatomy of Modern Sat Solvers. SAT (2011)
Huan Chen, Mikolás Janota, João P. Marques Silva
QBF-Based Boolean Function Bi-Decomposition CoRR (2011)
Anton Belov, João P. Marques Silva
Minimally Unsatisfiable Boolean Circuits. SAT (2011)
Mikolás Janota, João P. Marques Silva
Abstraction-Based Algorithm for 2QBF. SAT (2011)
Mikolás Janota, Goetz Botterweck, Radu Grigore, João P. Marques Silva
How to Complete an Interactive Configuration Process? SOFSEM (2010)
João P. Marques Silva
Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper). ISMVL (2010)
Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault
Solving Linux Upgradeability Problems Using Boolean Optimization LoCoCo (2010)
Lucas C. Cordeiro, Bernd Fischer, João P. Marques Silva
SMT-Based Bounded Model Checking for Embedded ANSI-C Software CoRR (2009)
Lucas C. Cordeiro, Bernd Fischer, João P. Marques Silva
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking CoRR (2009)
Josep Argelich, Inês Lynce, João P. Marques Silva
On Solving Boolean Multilevel Optimization Problems CoRR (2009)
Ashish Darbari, Bernd Fischer, João P. Marques Silva
Industrial-Strength Formally Certified SAT Solving CoRR (2009)
Josep Argelich, Inês Lynce, João P. Marques Silva
On Solving Boolean Multilevel Optimization Problemse. IJCAI (2009)
Vasco M. Manquinho, João P. Marques Silva, Jordi Planes
Algorithms for Weighted Boolean Optimization CoRR (2009)
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)
Vasco M. Manquinho, João P. Marques Silva, Jordi Planes
Algorithms for Weighted Boolean Optimization. SAT (2009)
Paulo J. Matos, Bernd Fischer, João P. Marques Silva
A Lazy Unbounded Model Checker for Event-B. ICFEM (2009)
António Morgado, João P. Marques Silva
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem CoRR (2008)
Inês Lynce, João P. Marques Silva
Breaking Symmetries in SAT Matrix Models. SAT (2007)
Inês Lynce, João P. Marques Silva
Random backtracking in backtrack search algorithms for satisfiability. Discret. Appl. Math. 155 (12) (2007)
João P. Marques Silva, Inês Lynce
Towards Robust CNF Encodings of Cardinality Constraints. CP (2007)
Vasco M. Manquinho, João P. Marques Silva
On Using Cutting Planes in Pseudo-Boolean Optimization. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
António Morgado, Paulo J. Matos, Vasco M. Manquinho, João P. Marques Silva
Counting Models in Integer Domains. SAT (2006)
António Morgado, João P. Marques Silva
Good Learning and Implicit Model Enumeration. ICTAI (2005)
Inês Lynce, João P. Marques Silva
Efficient data structures for backtrack search SAT solvers. Ann. Math. Artif. Intell. 43 (1) (2005)
Vasco M. Manquinho, João P. Marques Silva
Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. ICTAI (2005)
João P. Marques Silva
Improvements to the Implementation of Interpolant-Based Model Checking. CHARME (2005)
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)
Vasco M. Manquinho, João P. Marques Silva
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization. DATE (2005)
Vasco M. Manquinho, João P. Marques Silva
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. SAT (2005)
Vasco M. Manquinho, João P. Marques Silva
Satisfiability-Based Algorithms for Boolean Optimization. Ann. Math. Artif. Intell. 40 (3-4) (2004)
Vasco M. Manquinho, João P. Marques Silva
Integration of Lower Bound Estimates in Pseudo-Boolean Optimization. ICTAI (2004)
Elsa Carvalho, João P. Marques Silva
Using Rewarding Mechanisms for Improving Branching Heuristics. SAT (2004)
Inês Lynce, João P. Marques Silva
On Computing Minimum Unsatisfiable Cores. SAT (2004)
Inês Lynce, João P. Marques Silva
Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study. ICTAI (2004)
Vasco M. Manquinho, João P. Marques Silva
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization. SAT (2004)
Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva
Heuristic Backtracking Algorithms for SAT. MTV (2003)
Inês Lynce, João P. Marques Silva
An Overview of Backtrack Search Satisfiability Algorithms. Ann. Math. Artif. Intell. 37 (3) (2003)
Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva
Heuristic-Based Backtracking for Propositional Satisfiability. EPIA (2003)
João P. Marques Silva, Luís Guerra e Silva
Solving Satisfiability in Combinational Circuits. IEEE Des. Test Comput. 20 (4) (2003)
Inês Lynce, João P. Marques Silva
Probing-Based Preprocessing Techniques for Propositional Satisfiability. ICTAI (2003)
Inês Lynce, João P. Marques Silva
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. International Workshop on Constraint Solving and Constraint Logic Programming (2002)
Inês Lynce, João P. Marques Silva
Tuning Randomization in Backtrack Search SAT Algorithms. CP (2002)
Luís Guerra e Silva, João P. Marques Silva, Luís Miguel Silveira, Karem A. Sakallah
Satisfiability models and algorithms for circuit delay computation. ACM Trans. Design Autom. Electr. Syst. 7 (1) (2002)
Vasco M. Manquinho, João P. Marques Silva
Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (5) (2002)
Inês Lynce, João P. Marques Silva
Building State-of-the-Art SAT Solvers. ECAI (2002)
Arlindo L. Oliveira, João P. Marques Silva
Efficient Algorithms for the Inference of Minimum Size DFAs. Mach. Learn. 44 (1/2) (2001)
Inês Lynce, João P. Marques Silva
Improving SAT Algorithms by Using Search Pruning Techniques. CP (2001)
José T. de Sousa, João P. Marques Silva, Miron Abramovici
A Configurable Hardware/Software Approach to SAT Solving. FCCM (2001)
Inês Lynce, Luís Baptista, João P. Marques Silva
Towards Provably Complete Stochastic Search Algorithms for Satisfiability. EPIA (2001)
Paulo F. Flores, Horácio C. Neto, João P. Marques Silva
An exact solution to the minimum size test pattern problem. ACM Trans. Design Autom. Electr. Syst. 6 (4) (2001)
Karem A. Sakallah, Fadi A. Aloul, João P. Marques Silva
An Experimental Study of Satisfiability Search Heuristics. DATE (2000)
João P. Marques Silva, Karem A. Sakallah
Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation. CAV (2000)
Vasco M. Manquinho, João P. Marques Silva
On Solving Boolean Optimization with Satisfiability-Based Algorithms. AI&M (2000)
Luís Baptista, João P. Marques Silva
Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. CP (2000)
Vasco M. Manquinho, João P. Marques Silva
Search Pruning Conditions for Boolean Optimization. ECAI (2000)
João P. Marques Silva, Karem A. Sakallah
Boolean satisfiability in electronic design automation. DAC (2000)
Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva
On Applying Incremental Satisfiability to Delay Fault Testing. DATE (2000)
João P. Marques Silva
Algebraic Simplification Techniques for Propositional Satisfiability. CP (2000)
Vasco M. Manquinho, João P. Marques Silva
On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. DATE (2000)
Paulo F. Flores, José C. Costa, Horácio C. Neto, José Monteiro, João P. Marques Silva
Assignment and Reordering of Incompletely Specified Pattern Sequences Targetting Minimum Power Dissipation. VLSI Design (1999)
Luís Guerra e Silva, Luís Miguel Silveira, João P. Marques Silva
Algorithms for Solving Boolean Satisfiability in Combinational Circuits. DATE (1999)
João P. Marques Silva
The Impact of Branching Heuristics in Propositional Satisfiability Algorithms. EPIA (1999)
Paulo F. Flores, Horácio C. Neto, Krishnendu Chakrabarty, João P. Marques Silva
Test pattern generation for width compression in BIST. ISCAS (1) (1999)
Paulo F. Flores, Horácio C. Neto, João P. Marques Silva
On Applying Set Covering Models to Test Set Compaction. Great Lakes Symposium on VLSI (1999)
João P. Marques Silva, Karem A. Sakallah
GRASP: A Search Algorithm for Propositional Satisfiability. IEEE Trans. Computers 48 (5) (1999)
Joonyoung Kim, João P. Marques Silva, Karem A. Sakallah
Satisfiability-Based Functional Delay Fault Testing. VLSI (1999)
João P. Marques Silva, Thomas Glass
Combinational Equivalence Checking Using Satisfiability and Recursive Learning. DATE (1999)
Arlindo L. Oliveira, João P. Marques Silva
Efficient Search Techniques for the Inference of Minimum Size Finite Automata. SPIRE (1998)
Luís Guerra e Silva, João P. Marques Silva, Luís Miguel Silveira, Karem A. Sakallah
Timing analysis using propositional satisfiability. ICECS (1998)
João P. Marques Silva
Integer Programming Models for Optimization Problems in Test Generation. ASP-DAC (1998)
Paulo F. Flores, Horácio C. Neto, João P. Marques Silva
An exact solution to the minimum size test pattern problem. ICCD (1998)
Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira
Prime Implicant Computation Using Satisfiability Algorithms. ICTAI (1997)
João P. Marques Silva, Karem A. Sakallah
Robust Search Algorithms for Test Pattern Generation. FTCS (1997)
Michael A. Riepe, João P. Marques Silva, Karem A. Sakallah, Richard B. Brown
Ravel-XL: a hardware accelerator for assigned-delay compiled-code logic gate simulation. IEEE Trans. Very Large Scale Integr. Syst. 4 (1) (1996)
João P. Marques Silva, Karem A. Sakallah
GRASP - a new search algorithm for satisfiability. ICCAD (1996)
João P. Marques Silva, Karem A. Sakallah
Conflict Analysis in Search Algorithms for Satisfiability. ICTAI (1996)
João P. Marques Silva, Karem A. Sakallah
Dynamic Search-Space Pruning Techniques in Path Sensitization. DAC (1994)
João P. Marques Silva, Karem A. Sakallah
Efficient and Robust Test Generation-Based Timing Analysis. ISCAS (1994)
João P. Marques Silva, Karem A. Sakallah
Concurrent path sensitization in timing analysis. EURO-DAC (1993)
Michael A. Riepe, João P. Marques Silva, Karem A. Sakallah, Richard B. Brown
Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation. ICCD (1993)
João P. Marques Silva, Karem A. Sakallah
An Analysis of Path Sensitization Criteria. ICCD (1993)
João P. Marques Silva, Karem A. Sakallah, Luís M. Vidigal
FPD - An Environment for Exact Timing Analysis. ICCAD (1991)