Discussion
What is a decision variable in a satisfiability search?
Answer: D
The search alternates between forced assignments, which need no backtracking point, and chosen ones, which do, and only the decisions form the backtracking structure. Frequency, criticality and pure symbols are different notions, though the pure symbol rule also gives a forced assignment. Separating what is inferred from what is guessed is what makes the backtracking structure minimal and the conflict analysis meaningful.
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