Yujun Kim
  • Home
  • Publications
  • Experience
  • Projects
    • All Projects
    • Games
    • Softwares
    • Miscellaneous
  • Posts
  • Teaching
  • Recent & Upcoming Talks
    • Coming Soon
  • Publications
    • The Cost of Robustness: Tighter Bounds on Parameter Complexity for Robust Memorization in ReLU Nets
    • Incremental Gradient Descent with Small Epoch Counts is Surprisingly Slow on Ill-Conditioned Problems
  • Projects
    • Game Development Projects
      • CMY : Color Puzzle Platformer Game
      • Santa Tell Me : OpenGL-based Rhythm Game
      • MI-EUM : Cozy 3D Puzzle Game
    • Software Development Projects
      • CaperDoc : New Learning Platform for PDF Based Studies
      • DPLL Solver for SAT
    • Miscellaneous Projects
      • My Own Compsed Music
  • Posts
  • Teaching
    • Tutoring Calculus
  • Experience

DPLL Solver for SAT

Dec 19, 2021 · 1 min read

A project as the [KAIST CS402 Introduction to Logic for Computer Science] final project in the 2024 spring semester.

Github:

  • DPLL Solver for SAT.

Document:

  • DPLL Implementation Document
Last updated on Dec 19, 2021
SAT Algorithm Python Software Development
Yujun Kim
Authors
Yujun Kim
M.S. Student
← CaperDoc : New Learning Platform for PDF Based Studies Dec 19, 2021

© 2025 Yujun Kim. This work is licensed under CC BY NC ND 4.0