All geek questions in one place

SAT Training Material (Boolean Satisfaction Problem)

What are some good documents to read on the SAT (logical feasibility problem). I could not find good stuff through Google. The documents I found were either a bird's eye view, too advanced or distorted PDF files ...

What documents / documents do you recommend to learn about algorithms in modern practical SAT solvers?

+3
source share
2 answers

The Davis-Putnam-Logemann-Loveland Wikipedia page provides a good overview.

Then you will need to keep an eye on minisat "Extensible SAT Solver" paper .

"GRASP - " , , , minisat.

SAT- Python , . sat.py (LGPL 2.1 ), , - . minisat; , -, -)

: OCaml, sat.ml, .

+8

: ; -

0
source

Source: https://habr.com/ru/post/1738809/

More articles:


All Articles