2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PF2023★ 2 cited
The RESET and MARC Techniques, with Application to Multiserver-Job Analysis
Isaac Grosof, Yige Hong, Mor Harchol-Balter +1
Multiserver-job (MSJ) systems, where jobs need to run concurrently across many servers, are increasingly common in practice. The default service ordering in many settings is First-…
cs.LO2022
Towards the shortest DRAT proof of the Pigeonhole Principle
Isaac Grosof, Naifeng Zhang, Marijn J. H. Heule
The Pigeonhole Principle (PHP) has been heavily studied in automated reasoning, both theoretically and in practice. Most solvers have exponential runtime and proof length, while so…