Discussion
Why is explanation valuable when a model proves unsatisfiable?
Answer: A
In practice a model reported as insoluble is far more often mis-stated than the real requirement is impossible, and a small conflicting subset points straight at the mistake. Without it a modeller faces hundreds of constraints and no clue. Publication, speed and provability are not the issue. A diagnostic that localises an error within a large artefact is worth more than any improvement in the speed of detecting that an error exists.
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