Showing 0–0 of 0 results
| # | Exercise Title | Features | Description | Platform | Keywords |
|---|---|---|---|---|---|
| 1 | Introduction to the Circuit Satisfiability Problem | Presentation | Slideshow demonstrating the circuit satisfiability problem. | OpenDSA | Circuit Satisfiability Problem |
| 2 | Reduction of Circuit SAT to SAT Slideshow | Presentation | Slideshow demonstrating a reduction from an instance of the Circuit Satisfiability problem to an instance of the CNF Satisfiability problem. | OpenDSA | Reduction, Satisfiability Problem |