The following pages link to Hossein M. Sheini (Q3429160):
Displaying 6 items.
- (Q3429161) (← links)
- On Solving Soft Temporal Constraints Using SAT Techniques (Q3524208) (← links)
- A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems (Q5450941) (← links)
- Theory and Applications of Satisfiability Testing (Q5713714) (← links)
- From Propositional Satisfiability to Satisfiability Modulo Theories (Q5756564) (← links)
- A Progressive Simplifier for Satisfiability Modulo Theories (Q5756580) (← links)