output
20022013
most citedIndication of Electron Neutrino Appearance from an Accelerator-produced Off-axis Muon Neutrino Beam

1.4k citations

collaborating institutions
Showing 2011 · cs.LOShow all

1 paper · 2 filters

cs.LO2011★ 1 cited

SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers

Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram +2

We describe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial ext…