The following pages link to Haiou Shen (Q812397):
Displaying 5 items.
- Improving exact algorithms for MAX-2-SAT (Q812398) (← links)
- An Empirical Study of MAX-2-SAT Phase Transitions (Q3439118) (← links)
- Exact Algorithms for MAX-SAT (Q4916231) (← links)
- Studies of a mathematical model for temperature-modulated bioluminescence tomography (Q5321871) (← links)
- Another Complete Local Search Method for SAT (Q5387868) (← links)
