Discussion
What does a propagator for a constraint do?
Answer: C
A propagator examines the current domains and deletes values for which no support exists within its own constraint, leaving the rest to other propagators. Checking, enumeration and decomposition are different operations. The whole solver is a collection of such propagators run to a fixed point interleaved with search. Local reasoning by each constraint, combined into a global effect by iteration, is the architecture that makes the approach modular and extensible.
No comment is present. Be the first to comment.
Loading…
Post your comment
Please log in or register to post a comment.
Examination Categories
- SSC Exams
- Banking Exams
- Teaching Exams
- Civil Services Exams
- Railways Exams
- Engineering Recruitment Exams
- Defence Exams
- State Government Exams
- Police Exams
- Insurance Exams
- Nursing Exams
- Other Government Exams
- NRA CET
- PG Entrance Exams
- Campus Placement
- MBA Entrance Exams
- CUET and UG Entrance
- Judiciary Exams
- Regulatory Body Exams
- Software Development