Watched literals for constraint propagation in minion
International Conference on Principles and Practice of Constraint Programming, 2006•Springer
Efficient constraint propagation is crucial to any constraint solver. We show that watched
literals, already a great success in the satisfiability community, can be used to provide highly
efficient implementations of constraint propagators. We describe three important aspects of
watched literals as we apply them to constraints, and how they are implemented in the
Minion constraint solver. We show three successful applications of to constraint propagators:
the sum of Boolean variables; GAC for the 'element'constraint; and GAC for the …
literals, already a great success in the satisfiability community, can be used to provide highly
efficient implementations of constraint propagators. We describe three important aspects of
watched literals as we apply them to constraints, and how they are implemented in the
Minion constraint solver. We show three successful applications of to constraint propagators:
the sum of Boolean variables; GAC for the 'element'constraint; and GAC for the …
Abstract
Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in the satisfiability community, can be used to provide highly efficient implementations of constraint propagators. We describe three important aspects of watched literals as we apply them to constraints, and how they are implemented in the Minion constraint solver. We show three successful applications of to constraint propagators: the sum of Boolean variables; GAC for the ‘element’ constraint; and GAC for the ‘table’ constraint.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果