Adapting Constraint Solving to Automatically Analyze UPI Protocols.

Sreekanth Malladi Jonathan K. Millen

Published in: Protocols, Strands, and Logic (2021)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
database design
reinforcement learning
search algorithm
context aware
heuristic search