Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)
- Updated
Sep 10, 2021 - Python
#
constraint-optimization
Here are 2 public repositories matching this topic...
Develop optimal solutions to a scheduling problem by modelling it as a Constraint Satisfaction Problem (CSP), a method used widely in the field of Artificial Intelligence.
csp constraint-satisfaction-problem artificial-intelligence searcher scheduling-problem constraint-optimization
- Updated
Aug 6, 2019 - Python
Improve this page
Add a description, image, and links to the constraint-optimization topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the constraint-optimization topic, visit your repo's landing page and select "manage topics."