Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Name: Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Author: Armin Biere

Cover of Handbook of Satisfiability

Frontiers in Artificial Intelligence and Applications

No description available.

Computer algorithmsPropositional calculusCongressesDecision makingBoolean AlgebraAlgorithmusAnwendungBerechnungskomplexitätErfüllbarkeitsproblemArtificial intelligence