Cover Image
Read Now

1
by Kurgalin, Sergei, Borzunov, Sergei
Published 2018
Springer International Publishing
Cover Image
Read Now

2
by Kurgalin, Sergei, Borzunov, Sergei
Published 2020
Springer International Publishing
Cover Image
Read Now

3
Published 2018
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018. The 20 revised full papers...”
Cover Image
Read Now

4
Published 2015
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular...”
Cover Image
Read Now

5
Published 2012
Springer Berlin Heidelberg
“... and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full...”
Cover Image
Read Now

6
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... SetDetection -- Tool Papers -- LearnSAT: A SAT Solver for Education -- MUStICCa: MUS Extraction...”
Cover Image
Read Now

7
Published 2020
Springer International Publishing
Table of Contents: “... Evolutionary Optimisation in Designing Approximate Circuits -- SAT Solving with Fragmented Hamiltonian Path...”
Cover Image
Read Now

8
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Netlists via Synergistic Reparameterization and Localization Strategies -- A New SAT-Based Algorithm...”
Cover Image
Read Now

9
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- An Introduction to Symbolic Trajectory Evaluation -- BDD-Based Hardware Verification -- SAT-Based Verification...”
Cover Image
Read Now

10
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... with Sharing -- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking -- Dynamite 2.0...”
Cover Image
Read Now

11
by Lipton, Richard J.
Published 2010
Springer US
Table of Contents: “... Small? -- How To Solve P=NP? -- Why Believe P Not Equal To NP? -- A Nightmare About SAT -- Bait...”
Cover Image
Read Now

12
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Circuits -- Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT -- Automata...”
Cover Image
Read Now

13
Published 2024
Springer Nature Switzerland
Table of Contents: “... by lexicographic excellence -- Reduction-Based MAX-3SAT with Low Nonlinearity and Lattices Under Recombination...”
Cover Image
Read Now

14
Published 2021
Springer International Publishing
Table of Contents: “... Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based...”
Cover Image
Read Now

15
by Cruz, Lito Perez
Published 2021
Springer International Publishing
Table of Contents: “... -- Formal System for FOL -- Part III: Advanced Topics -- You Do the Maths...”
Cover Image
Read Now

16
Published 2018
Springer International Publishing
Table of Contents: “... Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain...”
Cover Image
Read Now

17
Published 2024
Springer Nature Switzerland
Table of Contents: “... the Filtering of the AtMostNValue -- Single Constant Multiplication for SAT -- Towards a Generic Representation...”
Cover Image
Read Now

18
Published 2015
Springer International Publishing
Table of Contents: “... of Distributed Systems -- Alchemist: Learning Guarded Affine Functions -- OptiMathSAT: A Tool for Optimization...”
Cover Image
Read Now

19
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...(2,1) systems -- Bounds for approximating MaxLinEq3-2 and MaxEkSat -- Deriving non-approximability...”
Cover Image
Read Now

20
by Gopalakrishnan, Ganesh
Published 2006
Springer US
Table of Contents: “... Notions in Logic including SAT -- Complexity Theory and NP-Completeness -- DFA for Presburger Arithmetic...”