Rudy’s OBTF
Rudolf Adamkovič
Home
/
Computer science
/
Boolean satisfiability problem (SAT)
Synonyms
SAT
B-SAT
Satisfiability problem
Propositional satisfiability problem
© 2025
Rudolf Adamkovič
under
GNU General Public License (GPL)
version 3 or later.
Made with
Emacs
and secret alien technologies of yesteryear.