A SAT-based Timing Driven Place and Route Flow for Critical Soft IP.

Henri Fraisse Dinesh Gaitonde

Published in: FPL (2018)

Keyphrases

origin destination
data driven
answer set programming
optimal solution
sat solvers
travel time
bounded model checking
knowledge representation
sensor networks
heuristic search
road network
planning domains
ai planning
route planning
traffic congestion