Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
by Armin Biere
Computer algorithmsPropositional calculusCongressesDecision makingBoolean AlgebraAlgorithmusAnwendungBerechnungskomplexität
Writing a summary for young readers…
For young readers
Book data: Open Library