Browse Course Material

  • Syllabus

  • Calendar

  • Lecture Notes

  • Assignments

  • Exams

  • Related Resources

Course Info

Instructors

  • Prof. Tomás Lozano-Pérez
  • Prof. Leslie Kaelbling

Departments

  • Electrical Engineering and Computer Science

As Taught In

Fall 2002

Level

Graduate

Course Info

Instructors

  • Prof. Tomás Lozano-Pérez
  • Prof. Leslie Kaelbling

Departments

  • Electrical Engineering and Computer Science

As Taught In

Fall 2002

Level

Graduate

Topics

  • Engineering
    • Computer Science
      • Algorithms and Data Structures
      • Artificial Intelligence
  • Science
    • Cognitive Science

Topics

  • Data Science, Analytics & Computer Technology
    • AI
    • Algorithms and Data Structures
    • Computer Science
    • Machine Learning
  • Engineering
  • Science & Math
    • Cognitive Science

Learning Resource Types

notes Lecture Notes
assignment Programming Assignments

Download Course
MIT OpenCourseWare
  • search search
  • Give Now
  • About OCW
  • Help & Faqs
  • Contact Us
MIT OpenCourseWare
search search GIVE NOW about ocw help & faqs contact us
6.825 | Fall 2002 | Graduate

Techniques in Artificial Intelligence (SMA 5504)

  • Syllabus

  • Calendar

  • Lecture Notes

  • Assignments

  • Exams

  • Related Resources

Assignments

satisfiable1.cnf

Description:

A simple satisfiable sentence

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

Course Info

Instructors

  • Prof. Tomás Lozano-Pérez
  • Prof. Leslie Kaelbling

Departments

  • Electrical Engineering and Computer Science

As Taught In

Fall 2002

Level

Graduate

Course Info

Instructors

  • Prof. Tomás Lozano-Pérez
  • Prof. Leslie Kaelbling

Departments

  • Electrical Engineering and Computer Science

As Taught In

Fall 2002

Level

Graduate

Topics

  • Engineering
    • Computer Science
      • Algorithms and Data Structures
      • Artificial Intelligence
  • Science
    • Cognitive Science

Topics

  • Data Science, Analytics & Computer Technology
    • AI
    • Algorithms and Data Structures
    • Computer Science
    • Machine Learning
  • Engineering
  • Science & Math
    • Cognitive Science

Learning Resource Types

notes Lecture Notes
assignment Programming Assignments

Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
facebook
instagram
x (formerly twitter)
youtube
linkedin
bluesky
mastodon
© 2001–2026 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of: Open Education Global
facebook
instagram
x (formerly twitter)
youtube
linkedin
bluesky
mastodon
© 2001–2026 Massachusetts Institute of Technology

You are leaving MIT OpenCourseWare

Please be advised that external sites may have terms and conditions, including license rights, that differ from ours. MIT OCW is not responsible for any content on third party sites, nor does a link suggest an endorsement of those sites and/or their content.
Continue