Skip to content
Log in

Author

Davide Soldà

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

2026

SAT Modulo Well-Founded Semantics

It is shown that the choice operator can be materialized by a SAT solver while propagating the consequences of choices through an extension of the alternating fixpoint algorithm for WFS with conflicts that are propagated back to the SAT solver.

Thomas Eiter, Tobias Nießen, Davide Soldà et al. · 0 citations