Computational complexity of solving equation systems. (2015)

• Record Type: Book
• Further Information: Note: Przemysław Broniek.
• Authors: Broniek, Przemysław
• Contents: Acknowledgments -- Chapter 1. Introduction -- Chapter 2. Unary algebras -- Chapter 3. Reducing CSP to SYSTERMSAT over unary algebras -- Chapter 4. Partial characterizations -- Chapter 5. Conclusions and Open Problems.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (ix, 64 pages), illustration
• Subjects: 511.3/52; Computer science; Computational complexity; Equations -- Numerical solutions; MATHEMATICS -- General; Computational complexity; Equations -- Numerical solutions; Computer Science; Algorithm Analysis and Problem Complexity; Logic; Mathematical Logic and Foundations; Philosophy -- Logic; Mathematics -- Logic; Philosophy: logic; Mathematical foundations; Computer software; Logic; Logic, Symbolic and mathematical; Computers -- Programming -- Algorithms; Algorithms & data structures; Electronic books
• Languages: English
• ISBNs: 9783319217505; 3319217496; 9783319217499
• Related ISBNs: 331921750X; 9783319217499
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed July 29, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.