Vylepšení constraintových modelů pro plánovací problémy

Abstrakt

Článek popisuje vylepšení constraintových modelů pro plánovací problémy technikami jako je odstranění symetrií, jednotková konzistence a liftování

Klíčová slova

• Enhancing
• Constraint
• Models
• Planning
• Problems