52 citations · 103 across the 25 of their papers we have counts for
3 papers · 2 filters
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…
Partial Quantifier Elimination
Eugene Goldberg, Panagiotis Manolios
We consider the problem of Partial Quantifier Elimination (PQE). Given formula exists(X)[F(X,Y) & G(X,Y)], where F, G are in conjunctive normal form, the PQE problem is to find a f…
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…