The following pages link to Fadi A. Aloul (Q976990):
Displayed 5 items.
- Dynamic symmetry-breaking for Boolean satisfiability (Q976993) (← links)
- Search techniques for SAT-based Boolean optimization (Q2455454) (← links)
- (Q3624016) (← links)
- Solution and Optimization of Systems of Pseudo-Boolean Constraints (Q4564226) (← links)
- Symmetry breaking for pseudo-Boolean formulas (Q5269268) (← links)