Hossein M. Sheini

According to our database, Hossein M. Sheini authored at least 10 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Algorithms for satisfiability problems in linear integer arithmetic logic.

Hossein M. Sheini

PhD thesis, 2006

Pueblo: A Hybrid Pseudo-Boolean SAT Solver.

Hossein M. Sheini, Karem A. Sakallah

J. Satisf. Boolean Model. Comput., 2006

A Progressive Simplifier for Satisfiability Modulo Theories.

Hossein M. Sheini, Karem A. Sakallah

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

From Propositional Satisfiability to Satisfiability Modulo Theories.

Hossein M. Sheini, Karem A. Sakallah

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

SMT(<i>CLU</i>): a step toward scalability in system verification.

Hossein M. Sheini, Karem A. Sakallah

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

Ario: A Linear Integer Arithmetic Logic Solver.

Hossein M. Sheini, Karem A. Sakallah

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic.

Hossein M. Sheini, Karem A. Sakallah

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Pueblo: A Modern Pseudo-Boolean SAT Solver.

Hossein M. Sheini, Karem A. Sakallah

Proceedings of the 2005 Design, 2005

A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems.

Hossein M. Sheini, Karem A. Sakallah

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

On Solving Soft Temporal Constraints Using SAT Techniques.

Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack

Proceedings of the Principles and Practice of Constraint Programming, 2005