Liknande böcker

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Bok av Igor Author Lavrov
Semantics and Proof Theory of the Logic of Bunched Implications
Bok av David J Pym
Applications of Hyperstructure Theory
Bok av Piergiulio Corsini
Computation and its Limits
Bok av Paul. Cockshott
Logic Functions and Equations : Binary models for computer science
Bok av Christian Posthoff och Bernd Steinbach
Ernst Zermelo : An Approach to His Life and Work
Bok av Heinz Dieter Ebbinghaus
Semigroups in complete lattices : quantales, modules and related topics
Bok av Patrik Eklund
Structures and Algorithms : Mathematics and the Nature of Knowledge
Bok av Jens Erik. Fenstad

Satisfiability Problem : Theory and Applications

Bok av Dingzhu Du
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. This work features the applications of theoretical/algorithmic results to practical problems and presents practical examples for theoretical/algoritmic study.