| * | 2006 |
|---|
| 9 | EE | Hossein M. Sheini,
Karem A. Sakallah:
Ario: A Linear Integer Arithmetic Logic Solver.
FMCAD 2006: 47-48 |
| 8 | EE | Hossein M. Sheini,
Karem A. Sakallah:
SMT(CLU): a step toward scalability in system verification.
ICCAD 2006: 844-851 |
| 7 | EE | Hossein M. Sheini,
Karem A. Sakallah:
From Propositional Satisfiability to Satisfiability Modulo Theories.
SAT 2006: 1-9 |
| 6 | EE | Hossein M. Sheini,
Karem A. Sakallah:
A Progressive Simplifier for Satisfiability Modulo Theories.
SAT 2006: 184-197 |
| 5 | EE | Hossein M. Sheini,
Karem A. Sakallah:
Pueblo: A Hybrid Pseudo-Boolean SAT Solver.
JSAT 2(1-4): 165-189 (2006) |
| 2005 |
|---|
| 4 | EE | Hossein M. Sheini,
Bart Peintner,
Karem A. Sakallah,
Martha E. Pollack:
On Solving Soft Temporal Constraints Using SAT Techniques.
CP 2005: 607-621 |
| 3 | EE | Hossein M. Sheini,
Karem A. Sakallah:
A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems.
CPAIOR 2005: 320-335 |
| 2 | EE | Hossein M. Sheini,
Karem A. Sakallah:
Pueblo: A Modern Pseudo-Boolean SAT Solver.
DATE 2005: 684-685 |
| 1 | EE | Hossein M. Sheini,
Karem A. Sakallah:
A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic.
SAT 2005: 241-256 |
