Pith. sign in

Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea

doi: 10 · Theory and Practice of Logic Programming · DOI 10.1017/s1471068417000187

1 Pith paper cite this work, alongside 8 external citations. Polarity classification is still indexing.

1 Pith paper citing it
8 external citations · OpenAlex
open at publisher browse 1 citing papers

fields

cs.AI 1

years

2026 1

verdicts

CONDITIONAL 1

representative citing papers

EZSMT Version 3, Matured

cs.AI · 2026-07-15 · conditional · novelty 4.0

EZSMTV3 is a mature SMT-translation framework for constraint answer set programming that adds weak-constraint optimization and mixed integer-real constraint support.

citing papers explorer

Showing 1 of 1 citing paper.

  • EZSMT Version 3, Matured cs.AI · 2026-07-15 · conditional · none · ref 12

    EZSMTV3 is a mature SMT-translation framework for constraint answer set programming that adds weak-constraint optimization and mixed integer-real constraint support.