output
20022015
most citedDesign and Implementation of the New D0 Level-1 Calorimeter Trigger

107 citations

researchers with a paper here
collaborating institutions
Showing 2012 · cs.LOShow all

1 paper · 2 filters

cs.LO2012★ 1 cited

ILP Modulo Theories

Panagiotis Manolios, Vasilis Papavasileiou

We present Integer Linear Programming (ILP) Modulo Theories (IMT). An IMT instance is an Integer Linear Programming instance, where some symbols have interpretations in background…