Login / Signup
Quantifying the Exploration of the Korat Solver for Imperative Constraints.
Alyas Almaawi
Hayes Converse
Milos Gligoric
Sasa Misailovic
Sarfraz Khurshid
Published in:
ACM SIGSOFT Softw. Eng. Notes (2019)
Keyphrases
</>
constraint solving
constraint satisfaction
constraint solver
multiple constraints
multiscale
global constraints
database
real world
machine learning
artificial intelligence
website
constraint programming
optimal solution
expert systems
linear constraints