Return to Article Details
MiniMaxSAT: An Efficient Weighted Max-SAT solver
Download
Download PDF