https://github.com/ermongroup/cs323-notes

Course notes for CS323: Automated Reasoning
https://github.com/ermongroup/cs323-notes

Last synced: 6 days ago
JSON representation

Course notes for CS323: Automated Reasoning

• Host: GitHub
• URL: https://github.com/ermongroup/cs323-notes
• Owner: ermongroup
• License: mit
• Created: 2017-04-18T02:43:49.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-05-19T05:29:21.000Z (over 8 years ago)
• Last Synced: 2025-05-08T01:32:55.421Z (5 months ago)
• Language: CSS
• Size: 961 KB
• Stars: 41
• Watchers: 9
• Forks: 12
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# cs323-notes

These notes are based on Stanford [CS323](http://cs.stanford.edu/~ermon/cs323/index.html), taught by [Stefano Ermon](http://cs.stanford.edu/~ermon/), and have been written by Michael Zhu.

This course is a graduate level introduction to automated reasoning techniques and their applications, covering logical and probabilistic approaches. Topics include: logical and probabilistic foundations, backtracking strategies and algorithms behind modern SAT solvers, stochastic local search and Markov Chain Monte Carlo algorithms, classes of reasoning tasks and reductions, and applications.

The compiled version is available [here](http://ermongroup.github.io/cs323-notes/).

## Contributing

The notes are still under construction! If you find any typos or can contribute to help make the notes better, please let us know, or submit a pull request with your fixes via Github.

The notes are written in Markdown and are compiled into HTML using Jekyll. Please add your changes directly to the Markdown source code.