J. P. Marques-Silva

On Using Cutting Planes in Pseudo-Boolean Optimization (2006)

Manquinho, V., Marques-Silva, J. P.

On Using Cutting Planes in Pseudo-Boolean Optimization (2006)

Manquinho, V., Marques-Silva, J. P.

On Using Cutting Planes in Pseudo-Boolean Optimization (2006)

Manquinho, V., Marques-Silva, J. P.

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability (2006)

Bhalla, A., Lynce, I., Sousa, J. T., Marques-Silva, J. P.

On Using Cutting Planes in Pseudo-Boolean Optimization (2006)

Manquinho, V., Marques-Silva, J. P.

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability (2006)

Bhalla, A., Lynce, I., Sousa, J. T., Marques-Silva, J. P.

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability (2006)

Bhalla, A., Lynce, I., Sousa, J. T., Marques-Silva, J. P.

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability (2006)

Bhalla, A., Lynce, I., Sousa, J. T., Marques-Silva, J. P.

Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts (2005)

Manquinho, V., Marques-Silva, J. P.

Good Learning and Implicit Model Enumeration (2005)

Morgado, A., Marques-Silva, J. P.

Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts (2005)

Manquinho, V., Marques-Silva, J. P.

Good Learning and Implicit Model Enumeration (2005)

Morgado, A., Marques-Silva, J. P.

Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts (2005)

Manquinho, V., Marques-Silva, J. P.

Good Learning and Implicit Model Enumeration (2005)

Morgado, A., Marques-Silva, J. P.

Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts (2005)

Manquinho, V., Marques-Silva, J. P.

Good Learning and Implicit Model Enumeration (2005)

Morgado, A., Marques-Silva, J. P.

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability (2005)

Bhalla, A., Lynce, I., Sousa, J. T., Marques-Silva, J. P.

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability (2005)

Bhalla, A., Lynce, I., Sousa, J. T., Marques-Silva, J. P.

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability (2005)

Bhalla, A., Lynce, I., Sousa, J. T., Marques-Silva, J. P.

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability (2005)

Bhalla, A., Lynce, I., Sousa, J. T., Marques-Silva, J. P.

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas (2005)

Mneimneh, M. N., Lynce, I., Andraus, Z. S., Marques-Silva, J. P., Sakallah, K. A.

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas (2005)

Mneimneh, M. N., Lynce, I., Andraus, Z. S., Marques-Silva, J. P., Sakallah, K. A.

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas (2005)

Mneimneh, M. N., Lynce, I., Andraus, Z. S., Marques-Silva, J. P., Sakallah, K. A.

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas (2005)

Mneimneh, M. N., Lynce, I., Andraus, Z. S., Marques-Silva, J. P., Sakallah, K. A.

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization (2005)

Manquinho, V., Marques-Silva, J. P.

Integration of Lower Bound Estimates in Pseudo-Boolean Optimization (2004)

Manquinho, V., Marques-Silva, J. P.

Hidden Structure in Unsatisfiable Random 3-SAT: an Empirical Study (2004)

Lynce, I., Marques-Silva, J. P.

Integration of Lower Bound Estimates in Pseudo-Boolean Optimization (2004)

Manquinho, V., Marques-Silva, J. P.

Hidden Structure in Unsatisfiable Random 3-SAT: an Empirical Study (2004)

Lynce, I., Marques-Silva, J. P.

Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean (2004)

Manquinho, V., Marques-Silva, J. P.

On Computing Minimum Unsatisfiable Cores (2004)

Lynce, I., Marques-Silva, J. P.

Using Rewarding Mechanisms for Improving Branching Heuristics (2004)

Carvalho, E., Marques-Silva, J. P.

Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean (2004)

Manquinho, V., Marques-Silva, J. P.

On Computing Minimum Unsatisfiable Cores (2004)

Lynce, I., Marques-Silva, J. P.

Using Rewarding Mechanisms for Improving Branching Heuristics (2004)

Carvalho, E., Marques-Silva, J. P.

Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean (2004)

Manquinho, V., Marques-Silva, J. P.

On Computing Minimum Unsatisfiable Cores (2004)

Lynce, I., Marques-Silva, J. P.

Using Rewarding Mechanisms for Improving Branching Heuristics (2004)

Carvalho, E., Marques-Silva, J. P.

Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean (2004)

Manquinho, V., Marques-Silva, J. P.

On Computing Minimum Unsatisfiable Cores (2004)

Lynce, I., Marques-Silva, J. P.

Using Rewarding Mechanisms for Improving Branching Heuristics (2004)

Carvalho, E., Marques-Silva, J. P.

Satisfiability-Based Algorithms for Boolean Optimization (2004)

Manquinho, V., Marques-Silva, J. P.

Satisfiability-Based Algorithms for Boolean Optimization (2004)

Manquinho, V., Marques-Silva, J. P.

Satisfiability-Based Algorithms for Boolean Optimization (2004)

Manquinho, V., Marques-Silva, J. P.

Satisfiability-Based Algorithms for Boolean Optimization (2004)

Manquinho, V., Marques-Silva, J. P.

Integration of Lower Bound Estimates in Pseudo-Boolean Optimization (2004)

Manquinho, V., Marques-Silva, J. P.

Hidden Structure in Unsatisfiable Random 3-SAT: an Empirical Study (2004)

Lynce, I., Marques-Silva, J. P.

Integration of Lower Bound Estimates in Pseudo-Boolean Optimization (2004)

Manquinho, V., Marques-Silva, J. P.

Hidden Structure in Unsatisfiable Random 3-SAT: an Empirical Study (2004)

Lynce, I., Marques-Silva, J. P.

Heuristic-Based Backtracking for Propositional Satisfiability (2003)

Bhalla, A., Lynce, I., Sousa, J., Marques-Silva, J. P.

Heuristic-Based Backtracking for Propositional Satisfiability (2003)

Bhalla, A., Lynce, I., Sousa, J., Marques-Silva, J. P.

Probing-Based Preprocessing Techniques for Propositional Satisfiability (2003)

Lynce, I., Marques-Silva, J. P.

Probing-Based Preprocessing Techniques for Propositional Satisfiability (2003)

Lynce, I., Marques-Silva, J. P.

Solving Satisfiability in Combinational Circuits (2003)

Marques-Silva, J. P., Silva, L. Guerra

Solving Satisfiability in Combinational Circuits (2003)

Marques-Silva, J. P., Silva, L. Guerra

Solving Satisfiability in Combinational Circuits (2003)

Marques-Silva, J. P., Silva, L. Guerra

Solving Satisfiability in Combinational Circuits (2003)

Marques-Silva, J. P., Silva, L. Guerra

OpenSAT: An Open Source SAT Software Project (2003)

Audemard, G., Berre, D. Le, Roussel, O., Lynce, I., Marques-Silva, J. P.

On Implementing More Efficient SAT Data Structures (2003)

Lynce, I., Marques-Silva, J. P.

OpenSAT: An Open Source SAT Software Project (2003)

Audemard, G., Berre, D. Le, Roussel, O., Lynce, I., Marques-Silva, J. P.

On Implementing More Efficient SAT Data Structures (2003)

Lynce, I., Marques-Silva, J. P.

OpenSAT: An Open Source SAT Software Project (2003)

Audemard, G., Berre, D. Le, Roussel, O., Lynce, I., Marques-Silva, J. P.

On Implementing More Efficient SAT Data Structures (2003)

Lynce, I., Marques-Silva, J. P.

OpenSAT: An Open Source SAT Software Project (2003)

Audemard, G., Berre, D. Le, Roussel, O., Lynce, I., Marques-Silva, J. P.

On Implementing More Efficient SAT Data Structures (2003)

Lynce, I., Marques-Silva, J. P.

An Overview of Backtrack Search Satisfiability Algorithms (2003)

Lynce, I., Marques-Silva, J. P.

An Overview of Backtrack Search Satisfiability Algorithms (2003)

Lynce, I., Marques-Silva, J. P.

An Overview of Backtrack Search Satisfiability Algorithms (2003)

Lynce, I., Marques-Silva, J. P.

An Overview of Backtrack Search Satisfiability Algorithms (2003)

Lynce, I., Marques-Silva, J. P.

Probing-Based Preprocessing Techniques for Propositional Satisfiability (2003)

Lynce, I., Marques-Silva, J. P.

Heuristic-Based Backtracking for Propositional Satisfiability (2003)

Bhalla, A., Lynce, I., Sousa, J., Marques-Silva, J. P.

GRASP - A New Search Algorithm for Satisfiability (2003)

Marques-Silva, J. P., Sakallah, K.

The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms (2003)

Lynce, I., Marques-Silva, J. P.

Probing-Based Preprocessing Techniques for Propositional Satisfiability (2003)

Lynce, I., Marques-Silva, J. P.

Heuristic-Based Backtracking for Propositional Satisfiability (2003)

Bhalla, A., Lynce, I., Sousa, J., Marques-Silva, J. P.

GRASP - A New Search Algorithm for Satisfiability (2003)

Marques-Silva, J. P., Sakallah, K.

The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms (2003)

Lynce, I., Marques-Silva, J. P.

GRASP - A New Search Algorithm for Satisfiability (2003)

Marques-Silva, J. P., Sakallah, K.

The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms (2003)

Lynce, I., Marques-Silva, J. P.

GRASP - A New Search Algorithm for Satisfiability (2003)

Marques-Silva, J. P., Sakallah, K.

The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms (2003)

Lynce, I., Marques-Silva, J. P.

Building State-of-the-Art SAT solvers (2002)

Lynce, I., Marques-Silva, J. P.

Building State-of-the-Art SAT solvers (2002)

Lynce, I., Marques-Silva, J. P.

The Effect of Nogood Recording in MAC-CBJ SAT Algorithms (2002)

Lynce, I., Marques-Silva, J. P.

The Effect of Nogood Recording in MAC-CBJ SAT Algorithms (2002)

Lynce, I., Marques-Silva, J. P.

Search Pruning Techniques in SAT-Based Branch-and-Bound Algorithms for the Binate Covering Problem (2002)

Manquinho, V. M., Marques-Silva, J. P.

Search Pruning Techniques in SAT-Based Branch-and-Bound Algorithms for the Binate Covering Problem (2002)

Manquinho, V. M., Marques-Silva, J. P.

Search Pruning Techniques in SAT-Based Branch-and-Bound Algorithms for the Binate Covering Problem (2002)

Manquinho, V. M., Marques-Silva, J. P.

Efficient data structures for backtrack search SAT solvers (2002)

Lynce, I., Marques-Silva, J. P.

Complete unrestricted backtracking algorithms for Satisfiability (2002)

Lynce, I., Marques-Silva, J. P.

Search Pruning Techniques in SAT-Based Branch-and-Bound Algorithms for the Binate Covering Problem (2002)

Manquinho, V. M., Marques-Silva, J. P.

Efficient data structures for backtrack search SAT solvers (2002)

Lynce, I., Marques-Silva, J. P.

Complete unrestricted backtracking algorithms for Satisfiability (2002)

Lynce, I., Marques-Silva, J. P.

Search Pruning Techniques in SAT-Based Branch-and-Bound Algorithms for the Binate Covering Problem (2002)

Manquinho, V. M., Marques-Silva, J. P.

Efficient data structures for backtrack search SAT solvers (2002)

Lynce, I., Marques-Silva, J. P.

Complete unrestricted backtracking algorithms for Satisfiability (2002)

Lynce, I., Marques-Silva, J. P.

Search Pruning Techniques in SAT-Based Branch-and-Bound Algorithms for the Binate Covering Problem (2002)

Manquinho, V. M., Marques-Silva, J. P.

Efficient data structures for backtrack search SAT solvers (2002)

Lynce, I., Marques-Silva, J. P.

Complete unrestricted backtracking algorithms for Satisfiability (2002)

Lynce, I., Marques-Silva, J. P.

Comparing SAT preprocessing techniques (2002)

Drake, L., Frisch, A., Lynce, I., Marques-Silva, J. P., Walsh, T.

Comparing SAT preprocessing techniques (2002)

Drake, L., Frisch, A., Lynce, I., Marques-Silva, J. P., Walsh, T.

Building State-of-the-Art SAT solvers (2002)

Lynce, I., Marques-Silva, J. P.

Satisfiability Models and Algorithms for Circuit Delay Computation (2002)

Silva, L. Guerra, Marques-Silva, J. P., Silveira, L. M., Sakallah, K. A.