Evaluation Procedure

• Transform the reconstruction problem to a 2SAT problem. (construct and evaluate a 2SAT expression)

• 2SAT expression: a boolean expression in conjunctive normal form with at most two literals in each clause

Previous slide

Next slide

Back to first slide

View graphic version