Discussion
What is the practical response to a family of formulas a solver cannot handle?
Answer: A
Adding a symmetry breaking constraint, or using a system such as cutting planes that has short proofs where resolution does not, changes the problem the solver faces. Waiting is hopeless against an exponential, other methods may succeed, and shrinking the instance avoids the question. Changing the formulation when the method is provably inadequate, rather than persisting with it, is the same lesson that reformulation teaches in ordinary search.
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