activity
20222025
most citedAutomating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs

1 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing physics.comp-phShow all

1 paper · 1 filter

physics.comp-ph2022★ 1 cited

Ising Model Partition Function Computation as a Weighted Counting Problem

Shaan A. Nagy, Roger Paredes, Jeffrey M. Dudek +2

While the Ising model remains essential to understand physical phenomena, its natural connection to combinatorial reasoning makes it also one of the best models to probe complex sy…