An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.

Viktor Kuncak Huu Hai Nguyen Martin C. Rinard

Published in: CADE (2005)

Keyphrases

np hard
optimal solution
databases
objective function
convex hull
expert systems
search space
boolean algebra