摘要： Abstract Algebraic solving of polynomial systems and satisfiability of propositional logic formulas are not two completely separate research areas, as 阅读全文