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