Transalg
From MaRDI portal
Software:29209
swMATH17349MaRDI QIDQ29209FDOQ29209
Author name not available (Why is that?)
Cited In (5)
- On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem
- On black-box optimization in divide-and-conquer SAT solving
- On a class of decision diagrams
- Title not available (Why is that?)
- Merging Variables: One Technique of Search in Pseudo-Boolean Optimization
This page was built for software: Transalg
