Transalg
From MaRDI portal
Software:29209
No author found.
Related Items (5)
On a class of decision diagrams ⋮ On black-box optimization in divide-and-conquer SAT solving ⋮ Unnamed Item ⋮ Merging Variables: One Technique of Search in Pseudo-Boolean Optimization ⋮ On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem
This page was built for software: Transalg
