Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers.

Published in: CoRR (2024)

Keyphrases

constraint solvers
constraint solving
constraint programming
constraint satisfaction problems
constraint propagation
constraint solver
combinatorial problems
solving problems
set bounds propagation
constraint satisfaction
constraint logic programming
search space
cellular automata
integer programming