GitHub / leungll / PM-Coding
Solver algorithm in #3 Paper: Diversified Top-K MaxSAT Solving with MaxSAT
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leungll%2FPM-Coding
Stars: 1
Forks: 0
Open issues: 0
License: apache-2.0
Language: C++
Size: 55.7 KB
Dependencies parsed at: Pending
Created at: about 4 years ago
Updated at: about 1 year ago
Pushed at: about 1 year ago
Last synced at: about 2 months ago
Topics: clause, encoding, solver-algorithm, symmetry-breaking, top-k
Loading...