6.825 | Fall 2002 | Graduate

Techniques in Artificial Intelligence (SMA 5504)

Assignments

satisfiable1.cnf

Description:

A simple satisfiable sentence

Resource Type:
Programming Assignments
file
11 B
satisfiable1.cnf
Download File

Course Info

Departments

As Taught In

Fall 2002

Level

Graduate

Topics

Learning Resource Types

Lecture Notes
Programming Assignments
Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2026 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2026 Massachusetts Institute of Technology