Artifact for the ATVA 2025 paper "PolyQEnt: A Polynomial Quantified Entailment Solver"
<p dir="ltr">Artifact for the ATVA 2025 paper "PolyQEnt: A Polynomial Quantified Entailment Solver". </p>PolyQEnt<p dir="ltr">PolyQEnt is a solver for Polynomial Quantified Entailments (PQE).</p><p dir="ltr">Given an input PQE in...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | , , , , , |
| منشور في: |
2025
|
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|