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 ......

the assumption-based well-established established assumptions更新时间 2023-10-16

共1篇 :1/1页 首页上一页1下一页尾页

526互联

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.