4 citations · 7 across the 3 of their papers we have counts for
3 papers · 1 filter
Bug Hunting By Computing Range Reduction
Eugene Goldberg, Panagiotis Manolios
We describe a method of model checking called Computing Range Reduction (CRR). The CRR method is based on derivation of clauses that reduce the set of traces of reachable states in…
ILP Modulo Data
Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald
The vast quantity of data generated and captured every day has led to a pressing need for tools and processes to organize, analyze and interrelate this data. Automated reasoning an…
Removal of Quantifiers by Elimination of Boundary Points
Eugene Goldberg, Panagiotis Manolios
We consider the problem of elimination of existential quantifiers from a Boolean CNF formula. Our approach is based on the following observation. One can get rid of dependency on a…