A Field Programmable Gate Array Based Finite-Domain Constraint Solver

Constraint satisfaction and optimization techniques are commonly employed in scheduling problems, industrial manufacturing, and automation processes. Constraint Satisfaction Problem (CSP) also finds use in the design, synthesis, and optimization of embedded systems. In recent years online constraint solving techniques have been employed in embedded systems for dynamic system adaptation. In embedded systems, online constraint solving techniques are primarily used as on-board control software. Using CSP techniques for scheduling algorithms provides intelligent scheduling. This thesis discusses...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.