Ilana Shapiro

Identifiers

• name variant Ilana Shapiro 0.60 · backfill

Papers (1)

1. Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection cs.LO · 2026 · author #1

Mentions

• 2606.08852 #1 · arxiv_oai · confidence 0.70 Ilana Shapiro

Frequent Coauthors

• Nikolaj Bj{\o}rner 1 shared papers
• Sorin Lerner 1 shared papers