The following pages link to Transalg (Q29209):
Displaying 5 items.
- On a class of decision diagrams (Q329079) (← links)
- On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem (Q2117621) (← links)
- On black-box optimization in divide-and-conquer SAT solving (Q5085259) (← links)
- (Q5109519) (← links)
- Merging Variables: One Technique of Search in Pseudo-Boolean Optimization (Q5214427) (← links)
