通过 SAT 求解器求解约束满足问题 电子书下载

原名:Solving Constraint Satisfaction Problems by a SAT Solver
作品简介:田村直之、丹条智也、斑原睦典。日本神户大学 .. 竞赛包含约 2000 行 C++ 代码。现代SAT……