Discussion
Why is preprocessing applied selectively rather than exhaustively?
Answer: A
Eliminating a variable appearing in many clauses of both polarities produces a quadratic number of resolvents, so the operation is attempted only where a size criterion is met. Satisfiability is preserved, termination is manageable, and search proceeds normally afterwards. Applying a transformation under a cost benefit test, rather than because it is available, is the difference between a preprocessing phase that helps and one that hurts.
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