Skip to main content
MyCourses MyCourses
  • Schools
    School of Arts, Design, and Architecture (ARTS) School of Business (BIZ) School of Chemical Engineering (CHEM) –sGuides for students (CHEM) – Instructions for report writing (CHEM) School of Electrical Engineering (ELEC) School of Engineering (ENG) School of Science (SCI) Language Centre Open University Library Aalto university pedagogical training program UNI (exams) Sandbox
  • CORONAVIRUS INFO
    Koronavirus - tietoa opiskelijalle Coronavirus - information for students Coronavirus - information för studerande Koronaviruksen vaikutus opiskeluun: kysymyksiä ja vastauksia Effects of the coronavirus on studies: questions and answers Coronaviruset och studierna: frågor och svar Corona help for teachers
  • Service Links
    MyCourses - Instructions for Teachers - Teacher book your online session with a specialist - Digital tools for teaching - Personal data protection instructions for teachers - Instructions for Students - Workspace for thesis supervision WebOodi Into portal for students Courses.aalto.fi Library Services - Resourcesguides - Imagoa / Open science and images IT Services Campus maps - Search spaces and see opening hours Restaurants in Otaniemi ASU Aalto Student Union Aalto Marketplace
  • ALLWELL?
    Study Skills Support for Studying Starting Point of Wellbeing About AllWell? study well-being questionnaire
  •   ‎(en)‎
      ‎(en)‎   ‎(fi)‎   ‎(sv)‎
  • Toggle Search menu
  • Hi guest! (Log in)

close

CS-E4570 - Advanced Course in Boolean Satisfiability, 10.04.2017-19.05.2017

  1. Home
  2. Courses
  3. School of Science
  4. department of...
  5. cs-e4570 - ad...
Syllabus

Overview of course contents

  • Overview of course contents

    Overview of course contents


    The course gives an advanced introduction to algorithms, methods, models and applications of Boolean satisfiability. Boolean satisfiability (SAT) has emerged as the most scalable framework for automated reasoning during the last two decades, with important applications in design and analysis of computer software and hardware, artificial intelligence, and other areas. The goal of the course is to give an introduction to the most important algorithms and methods related to Boolean satisfiability and propositional logic.

    The course includes

    • algorithms for solving the SAT problem, including the Davis-Putnam-Logemann-Loveland procedure, the Conflict-Driven Clause Learning algorithm, as well as stochastic local search
    • inference and preprocessing methods and implementation technology
    • normal forms, including CNF, DNF, NNF, DNNF, OBDD
    • extensions of the basic SAT problem, including weighted model-counting, optimization, SAT modulo Theories
    • applications: state-space search, model-checking of finite-state systems, planning, diagnosis, probabilistic reasoning

    The course starts on Monday, April 10, 2017 at 12:15. The lecture hall is T6.

    The course is lectured by Tomi Janhunen, Tommi Junttila, and Jussi Rintanen.




    • icon for activity News forum
    • icon for activity General discussion Forum

Course home

Course home

Next section

Schedule and materials►
Skip Upcoming events
Upcoming events
Loading There are no upcoming events
Go to calendar...
  • CS-E4570 - Advanced Course in Boolean Satisfiability, 10.04.2017-19.05.2017
  • Sections
  • Overview of course contents
  • Schedule and materials
  • Programming assignments
  • Home

Aalto logo

Tuki / Support
  • MyCourses help
  • mycourses(at)aalto.fi
Palvelusta
  • MyCourses rekisteriseloste
  • Tietosuojailmoitus
  • Palvelukuvaus
About service
  • MyCourses protection of privacy
  • Privacy notice
  • Service description
Service
  • MyCourses registerbeskrivining
  • Dataskyddsmeddelande
  • Beskrivining av tjänsten

Hi guest! (Log in)
  • Schools
    • School of Arts, Design, and Architecture (ARTS)
    • School of Business (BIZ)
    • School of Chemical Engineering (CHEM)
    • –sGuides for students (CHEM)
    • – Instructions for report writing (CHEM)
    • School of Electrical Engineering (ELEC)
    • School of Engineering (ENG)
    • School of Science (SCI)
    • Language Centre
    • Open University
    • Library
    • Aalto university pedagogical training program
    • UNI (exams)
    • Sandbox
  • CORONAVIRUS INFO
    • Koronavirus - tietoa opiskelijalle
    • Coronavirus - information for students
    • Coronavirus - information för studerande
    • Koronaviruksen vaikutus opiskeluun: kysymyksiä ja vastauksia
    • Effects of the coronavirus on studies: questions and answers
    • Coronaviruset och studierna: frågor och svar
    • Corona help for teachers
  • Service Links
    • MyCourses
    • - Instructions for Teachers
    • - Teacher book your online session with a specialist
    • - Digital tools for teaching
    • - Personal data protection instructions for teachers
    • - Instructions for Students
    • - Workspace for thesis supervision
    • WebOodi
    • Into portal for students
    • Courses.aalto.fi
    • Library Services
    • - Resourcesguides
    • - Imagoa / Open science and images
    • IT Services
    • Campus maps
    • - Search spaces and see opening hours
    • Restaurants in Otaniemi
    • ASU Aalto Student Union
    • Aalto Marketplace
  • ALLWELL?
    • Study Skills
    • Support for Studying
    • Starting Point of Wellbeing
    • About AllWell? study well-being questionnaire
  •   ‎(en)‎
    •   ‎(en)‎
    •   ‎(fi)‎
    •   ‎(sv)‎
Get the mobile app