
A Propagator Design Framework for Constraints over Sequences
Author(s) -
Jean-Noël Monette,
Pierre Flener,
Justin Pearson
Publication year - 2014
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v28i1.9113
Subject(s) - propagator , pruning , constraint (computer aided design) , representation (politics) , transformation (genetics) , notation , computer science , tuple , theoretical computer science , variable (mathematics) , constraint programming , planner , algebra over a field , mathematics , mathematical optimization , artificial intelligence , discrete mathematics , arithmetic , pure mathematics , law , mathematical analysis , chemistry , mathematical physics , biology , biochemistry , geometry , political science , stochastic programming , agronomy , politics , gene