Search alternatives:
swash » slash, swath, smash
sat » salt, satz
Cover Image
Read Now

262
by Geissler, Ewald
Published 1894
Springer Berlin Heidelberg
Table of Contents: “... Analysen -- Aufbewahrung der Maassfllüssigkeiten -- Specieller Theil. -- Sät tigungsanalysen -- Oxydations...”
Cover Image
Read Now

263
by Steinbach, Bernd, Posthoff, Christian
Published 2022
Springer International Publishing
Table of Contents: “... II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely...”
Cover Image
Read Now

264
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Checking Safety Properties Using Induction and a SAT-Solver -- Combining Stream-Based and State-Based...”
Cover Image
Read Now

265
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Preprocessing and Inprocessing Techniques in SAT -- Pioneering the Future of Verification: A Spiral...”
Cover Image
Read Now

266
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification...”
Cover Image
Read Now

267
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Constraint Satisfaction Problems -- to the Maximum Solution Problem -- Present and Future of Practical SAT...”
Cover Image
Read Now

268
by Wieczorek, Wojciech
Published 2017
Springer International Publishing
Table of Contents: “... Introduction to Python -- B. Python’s Tools for Automata, Networks, Genetic Algorithms, and SAT Solving -- C...”
Cover Image
Read Now

269
Published 2023
Springer Nature Switzerland
Table of Contents: “...-Software for CubeSats Applications -- Autonomous Payload Imaging System for Remote Sensing Applications...”
Cover Image
Read Now

270
Published 2022
Springer International Publishing
Table of Contents: “...A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times -- A SAT...”
Cover Image
Read Now

271
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Solving Knapsack Problems in a Sticker Based Model -- A Clause String DNA Algorithm for SAT -- A...”
Cover Image
Read Now

272
Published 2024
Springer Nature Singapore
Table of Contents: “... on Hyperelliptic Pairings using Hyperelliptic Nets -- AlgSAT a SAT Method for Verification of Differential Trails...”
Cover Image
Read Now

273
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

274
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- k-SAT Is No Harder Than Decision-Unique-k-SAT -- Unique Decipherability in the Monoid of Languages...”
Cover Image
Read Now

275
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based...”
Cover Image
Read Now

276
Published 2013
Springer International Publishing
Table of Contents: “... Model Checking -- Improving Representative Computation in ExpliSAT....”
Cover Image
Read Now

277
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... of Computing -- Complexity Theory I -- On Higher Arthur-Merlin Classes -- (2 + f(n))-SAT and Its Properties...”
Cover Image
Read Now

278
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... on Bit-Vectors -- The MathSAT5 SMT Solver -- Formula Preprocessing in MUS Extraction -- Proof Tree...”
Cover Image
Read Now

279
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Compiling All Possible Conflicts of a CSP -- On the Power of Clause-Learning SAT Solvers with Restarts...”
Cover Image
Read Now

280
Published 2008
Springer Netherlands
Table of Contents: “... -- Development of the MicroSat Programme at INTA -- Missions (1) -- Moving Towards Commercial Earth Observation...”