3,267 followers
QMaxSATpb: A certified MaxSAT solver. ~ Dieter Vandesande, Wolf De Wulf, Bart Bogaerts. https://t.co/a0R1Rc764G #SAT_Solver
QMaxSATpb: A certified MaxSAT solver. ~ Dieter Vandesande, Wolf De Wulf, Bart Bogaerts. https://t.co/a0R1Rc764G #SAT_Solver