Research Article
Message Passing Algorithm for Solving QBF Using More Reasoning
Algorithm 3
Analyze conflict routine.
Routine analyze_conflict() | (1) conflictcl = find_conflict_clause(); | (2) newcl = gen_clause (conflict_cl); | (3) add_clause (new_cl); | (4) if (dl (new_cl) 0) | (5) then backtrack (dl(new_cl)); | (6) end |
|