Finding errors from reverse-engineered equality models using a constraint solver.

Chandan Raj Rupakheti Daqing Hou

Published in: ICSM (2012)

Keyphrases

constraint solver
statistical methods
neural network
constraint satisfaction problems
constraint programming
constraint solving
information retrieval
knowledge base
information retrieval systems
functional dependencies
convex optimization
linear constraints