activity
20242026
most citedAccelerating Scientific Research with Gemini: Case Studies and Common Techniques

3 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing cs.CGShow all

1 paper · 1 filter

cs.CG2026

Toward Satisfiability Modulo Realizability

Andrew Krapivin, Benjamin Przybocki, Marijn J. H. Heule

Problems complete for the existential theory of the reals () arise throughout discrete geometry. We introduce satisfiability modulo realizability, a SAT-based a…