900 followers
https://t.co/sZ7P8IXFsP Solving MaxSAT by Successive Calls to a SAT Solver. (arXiv:1603.03814v1 [cs.AI]) #ai
https://t.co/sZ7P8IXFsP Solving MaxSAT by Successive Calls to a SAT Solver. (arXiv:1603.03814v1 [cs.AI]) #ai
#arXiv #cs_AI "Solving MaxSAT by Successive Calls to a SAT Solver. (arXiv:1603.03814v1 [cs.AI])" https://t.co/4xu8GliOF7
#arXiv #cs_LO "Solving MaxSAT by Successive Calls to a SAT Solver. (arXiv:1603.03814v1 [cs.AI])" https://t.co/4xu8GliOF7