The following pages link to Maher Mneimneh (Q1037639):
Displayed 4 items.
- A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas (Q1037642) (← links)
- Microprocessor Simulation and Program Assembling Using Spreadsheets (Q4420151) (← links)
- Theory and Applications of Satisfiability Testing (Q5325879) (← links)
- Theory and Applications of Satisfiability Testing (Q5713745) (← links)