#### Filter Results:

- Full text PDF available (8)

#### Publication Year

2005

2006

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Hossein M. Sheini, Karem A. Sakallah
- JSAT
- 2006

This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization problems. Toâ€¦ (More)

- Hossein M. Sheini, Karem A. Sakallah
- Design, Automation and Test in Europe
- 2005

This paper introduces a new SAT solver that integrates logic-based reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an efficient PB literalâ€¦ (More)

- Hossein M. Sheini, Karem A. Sakallah
- SAT
- 2006

In this paper we present a review of SAT-based approaches for building scalable and efficient decision procedures for quantifier-free first-order logic formulas in one or more decidable theories,â€¦ (More)

- Hossein M. Sheini, Karem A. Sakallah
- SAT
- 2005

In this paper, we present a hybrid method for deciding problems involving integer and Boolean variables which is based on generic SAT solving techniques augmented with a) a polynomial-time ILP solverâ€¦ (More)

- Hossein M. Sheini, Karem A. Sakallah
- CPAIOR
- 2005

In this paper, we present a method for solving Mixed Logical/Integer Linear Programming (MLILP) problems that integrates a polynomial-time ILP solver for the special class ofâ€¦ (More)

- Hossein M. Sheini, Karem A. Sakallah
- SAT
- 2006

In this paper we present a new progressive cooperating simplifier for deciding the satisfiability of a quantifier-free formula in the first-order theory of integers involving combinations ofâ€¦ (More)

- Hossein M. Sheini, Karem A. Sakallah
- 2006 Formal Methods in Computer Aided Design
- 2006

In this paper we describe our solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under satisfiability moduloâ€¦ (More)

- Hossein M. Sheini, Karem A. Sakallah
- ICCAD '06
- 2006

We describe a SAT-based decision method for the underlying logic in many formal verification problems; i.e. the counter arithmetic logic with lambda expressions and uninterpreted functionsâ€¦ (More)

- Armin Biere, Carla P. Gomes, +14 authors Sheila Mcllraith
- Lecture Notes in Computer Science
- 2006

Managing inconsistency in databases is a long-standing challenge. The framework of database repairs provides a principled approach towards coping with inconsistency in databases. Intuitively, aâ€¦ (More)