Homepage: http://www.cs.utexas.edu/users/marijn/class/2013-spring/cs395t/cs395t.html Homepage: http://www.cs.utexas.edu/users/hunt/class/2013-spring/cs395t/cs395t.html
Unique Number: 53724 Class Room Number: CLA 0.124 (Map) Class Time: Monday, 4:00 to 7:00 pm Instructors: Marijn Heule & Warren A. Hunt, Jr. Office Location: GDC S7.714 & GDC S7.818 Office Hours: Thursday, 4:00 to 6:00 pm E-mail: email@example.com, firstname.lastname@example.org
This course concerns itself with the study satisfiability (SAT) solving. This course will be broken into several parts. We will first learn something about SAT. Secondly, we will investigate some papers describing current research techniques in this area. And thirdly, students will be asked to pursue a research investigation related to this topic.
Below is an approximate syllabus for the class. We will adjust the content to suit our pace and the interests of the class.
Jan 14 Introduction -- Satisfiability Solving and its Applications Jan 21 Conflict-Driven Clause-Learing SAT Solvers Jan 28 Look-ahead SAT Solvers Feb 4 Local-Search Techniques Feb 11 Pre-Processing Techniques Feb 18 Short Presentations about Student Assignments Feb 25 Student Presentations on Papers that concern their Assignments Mar 4 Discussion of Student Work Plans Mar 11 UT Spring Break -- no class Mar 18 Status Reports on Student Progress, Reserach Presentations Mar 25 Status Reports on Student Progress, Reserach Presentations Apr 1 Status Reports on Student Progress, Reserach Presentations Apr 8 Status Reports on Student Progress, Reserach Presentations Apr 15 Draft of Final Report Due Apr 22 Presentations by Students Apr 29 Final Report Due, Presentations by Students
In general, the information found in Code of Conduct is a good guide on how to conduct yourself in this class. Additional general information about College of Natural Sciences (CNS) class coursework and procedures can be found in Dean Laude's memorandum to the CNS faculty. Any scholastic dishonesty will be referred to the Dean of Students Office. The following passage is taken from the University of Texas at Austin Information Handbook for Faculty.
This course should comply with the requirements of the University and the State of Texas. Texas House Bill 2504 specifies a number of items regarding course materials and instructor qualifications. In addition, the material contained in the class webpages are designed to be compliant with Gretchen Ritter's (Vice Provost for Undergraduate Education and Faculty Governance) August 3, 2012, memorandum. Ritter's memorandum also addresses issues concerning campus safety and security. Please familiarize yourself with this information, and let me know if you believe the class Website does not comply with these requirements.
As a reminder, the "UT Honor Code" is included below.
We fully support the University's scholastic honesty policies, and we will follow the University's policies in the event of any scholastic dishonesty. If you are ever unsure whether some act would be considered in violation of the University's policies, do not hesitate to ask us or other University academic representatives.
Return to CS395t course homepage.