The following pages link to (Q5109519):
Displaying 5 items.
- On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem (Q2117621) (← links)
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem (Q4965126) (← links)
- On black-box optimization in divide-and-conquer SAT solving (Q5085259) (← links)
- (Q5109519) (← links)
- Finding Effective SAT Partitionings Via Black-Box Optimization (Q5153508) (← links)
