Using Graph-Based CSP to Solve the Address Translation ProblemMerav AharoniYael Ben-Haimet al.2016CP 2016Conference paper