Athanor: Local search over abstract constraint specifications

Keyphrases

• Local Search 100%
• Constraint Specification 100%
• Constraint-based Modeling 66%
• Solution Method 33%
• Constraint Set 33%
• Modeling Language 33%
• Abstract Data Types 33%
• Specification Language 33%
• Decision Variables 33%
• Input Model 33%
• Combinatorial Optimization Problem 33%
• MiniZinc 33%
• Abstract Specification 33%
• Modeling Decisions 33%
• Equivalent Constraint Model 33%

Computer Science

• Constraint Specification 100%
• Solution Method 50%
• Decision Model 50%
• modeling language 50%
• Specification Language 50%
• Decision Variable 50%
• Combinatorial Optimization Problem 50%