Unformatted text preview: >to CNFSAT. Q3 is indeed asking for an explicit algorithm to reduce 3d matching to cnfsat. Your approach can be accepted, but not a direct one and a clean one. I would suggest to the TA to deduct 20% for such an indirect approach. Tak...
View Full Document
This note was uploaded on 03/01/2010 for the course CS 1234 taught by Professor Chan during the Spring '10 term at University of the Bío-Bío.
- Spring '10