well-established
文献阅读-We extend the well-established assumption-based interface of incremental SAT solvers to clauses, allowing the addition of a temporary clause that has the same lifespan as literal assumptions.
Abstract: We extend the well-established assumption-based interface of incremental SAT solvers to clauses, allowing the addition of a temporary clause ......