30 citations · 134 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cond-mat.stat-mech2018★ 6 cited
Scaling theory of shear-induced inhomogeneous dilation in granular matter
Prasenjit Das, H. George E. Hentschel, Itamar Procaccia
Shearing with a finite shear rate a compressed granular system results in a region of grains flowing over a compact, static assembly. Perforce this region is dilated to a degree th…
cs.LO2018
Clausal Abstraction for DQBF (full version)
Leander Tentrup, Markus N. Rabe
Dependency quantified Boolean formulas (DQBF) is a logic admitting existential quantification over Boolean functions, which allows us to elegantly state synthesis problems in verif…