pith. sign in

Ernst, and Jonathan Jacky

Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D · 2016 · DOI 10.1007/978-3-319-41540-6_2

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
open at publisher browse 1 citing papers

fields

cs.PL 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Shared-Context Batched Satisfiability

cs.PL · 2026-06-20 · unverdicted · novelty 5.0

Formalizes shared-context batched satisfiability and evaluates predicate-by-predicate, disjunctive over-approximation, and new Core-Literal Filter on symbolic abstraction and active property checking tasks.

citing papers explorer

Showing 1 of 1 citing paper.

  • Shared-Context Batched Satisfiability cs.PL · 2026-06-20 · unverdicted · none · ref 12

    Formalizes shared-context batched satisfiability and evaluates predicate-by-predicate, disjunctive over-approximation, and new Core-Literal Filter on symbolic abstraction and active property checking tasks.