1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2026
Extending SMT Solving with Non-Ground Clause Learning
Yasmine Briefs, Christoph Weidenbach
Quantifier instantiation is currently the main approach to non-ground SMT solving: solvers generate ground instances and solve the resulting ground SMT problems with CDCL(T)-style…
cs.LO2026★ 1 cited
A Two-Watched Literal Scheme for First-Order Logic
Yasmine Briefs, Martin Bromberger, Tobias Gehl +3
The two-watched literal scheme, a core component of efficient CDCL (Conflict-Driven Clause Learning) implementations for propositional logic, is extended to first-order logic. Give…