Search alternatives:
swash » slash, swath, awash
smash » slash
sweath » sheath, sweat, sweats
swat » sweat, swan, seat
sat » salt, satz
Cover Image
Read Now

81
Published 2021
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021. The 37...”
Cover Image
Read Now

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

83
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

84
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

85
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...”
Cover Image
Read Now

86
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Modelling Max-CSP as Partial Max-SAT -- A Preprocessor for Max-SAT Solvers -- A Generalized...”
Cover Image
Read Now

87
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques...”
Cover Image
Read Now

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

89
Published 2016
Springer International Publishing
Table of Contents: “... -- The Normalized Autocorrelation Length of Max r-Sat Converges in Probability to (1-1/2=r)/r -- Tight Upper Bound...”
Cover Image
Read Now

90
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

91
Published 2017
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017...”
Cover Image
Read Now

92
Published 2019
Springer International Publishing
Table of Contents: “... Complexity of QBF Symmetry Recomputation -- Satisfiability Threshold for Power Law Random 2-SAT...”
Cover Image
Read Now

93
Published 2014
Springer International Publishing
Table of Contents: “...A (Biased) Proof Complexity Survey for SAT Practitioners -- Cores in Core Based MaxSat Algorithms...”
Cover Image
Read Now

94
by Ganai, Malay, Gupta, Aarti
Published 2007
Springer US
Table of Contents: “... Infrastructure -- Efficient Boolean Representation -- Hybrid DPLL-Style SAT Solver -- Falsification -- SAT-Based...”
Cover Image
Read Now

95
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Applications of SAT Solvers to Cryptanalysis of Hash Functions -- Functional Treewidth: Bounding...”
Cover Image
Read Now

96
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Runtime Distributions in Local Search -- Green-Tao Numbers and SAT -- Exact MinSAT Solving -- Uniquely...”
Cover Image
Read Now

97
by Wang, Xiekang
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...flash flood disaster control...”
Cover Image
Read Now

98
by Jackson, Chris
Published 2008
Focal Press
Table of Contents: “...Ch. 1. Getting started in after effects -- ch. 2. From flash to after effects -- ch. 3. From after...”
Cover Image
Read Now

99
by Jackson, Chris
Published 2010
Focal Press
Table of Contents: “...Front Cover; Flash + After Effects; Copyright Page; Table of Contents; Introduction; Chapter 1...”
Cover Image
Read Now

100
by Rocchi, Cesare
Published 2011
Focal Press
Subjects: “...Flash (Computer file) / http://id.loc.gov/authorities/names/n97107235...”