AI-SAT-Solver
Objective of Assignment to model a problem of subgraph finding (under suitable constraints) as a SAT problem. Exact problem statement can be found here. Written as an assignment for the AI course at IIT Delhi.
Objective of Assignment to model a problem of subgraph finding (under suitable constraints) as a SAT problem. Exact problem statement can be found here. Written as an assignment for the AI course at IIT Delhi.