The following pages link to (Q4418385):
Displaying 5 items.
- A competitive and cooperative approach to propositional satisfiability (Q860390) (← links)
- Scatter search and genetic algorithms for MAX-SAT problems (Q928686) (← links)
- Solving SAT Problem Based on Hybrid Differential Evolution Algorithm (Q3399958) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464698) (← links)
- (Q5481266) (← links)