Lukas' Notes
Search
Search
Dark mode
Light mode
Tag: maxsat
1 item with this tag.
Assignment-and-Complement Algorithm (MaxSAT)
approximation
maxsat