Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving.

Junaid Haroon Siddiqui Darko Marinov Sarfraz Khurshid

Published in: ICST (2012)

Keyphrases

lightweight
flow analysis
constraint solving
data collection
computer systems
rfid tags
reinforcement learning
np hard
upper bound
constraint programming
constraint solver