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

201
by Malitsky, Yuri
Published 2014
Springer International Publishing
“... in this book have been successfully applied to a number of solvers competing in the SAT and MaxSAT...”
Cover Image
Read Now

202
by Kroening, Daniel, Strichman, Ofer
Published 2016
Springer Berlin Heidelberg
“..., and are routinely used in industry. The authors introduce the basic terminology of SAT, Satisfiability Modulo...”
Cover Image
Read Now

203
Published 2008
Springer New York
Table of Contents: “... of Excellence ‘SatNEx’ Removing Barriers, Integrating Research, Spreading Excellence -- The Use of Novel...”
Cover Image
Read Now

204
by Wang, Chao, Hachtel, Gary D., Somenzi, Fabio
Published 2006
Springer US
Table of Contents: “... Decomposition -- Far Side Image Computation -- Refining SAT Decision Ordering -- Conclusions...”
Cover Image
Read Now

206
Published 1785
Cover Image
Read Now

207 Table of Contents: “... Programming -- Core Fuzzy Answer Set Programming -- Reducing FASP to Fuzzy SAT -- Conclusions...”
Cover Image
Read Now

209
Published 2022
Springer International Publishing
Table of Contents: “... Regular Membership Predicates using SAT....”
Cover Image
Read Now

210
by Chrysos, Paris, Appio, Francesco Paolo
Published 2024
Edward Elgar Publishing
“..."Providing a fascinating view into the creation of CubeSats, this book outlines their metamorphic...”
Cover Image
Read Now

211
Published 2018
Springer International Publishing
Table of Contents: “... -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction...”
Cover Image
Read Now

212
Published 2023
Springer Fachmedien Wiesbaden
Table of Contents: “...Wie ihr sät, so werdet ihr ernten -- Geschlecht und Rollenmodellierung -- Vorbildfunktion als...”
Cover Image
Read Now

213
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

214
Published 2014
Springer International Publishing
Table of Contents: “... -- SAT-Based Decision Procedure for Analytic Pure Sequent Calculi -- A Unified Proof System for QBF Pre...”
Cover Image
Read Now

215
Published 2007
Springer New York
“... the current version of the SAT® and its predecessor, concordances between the ACT® and the SAT®, vertical...”
Cover Image
Read Now

216
Published 1790
s.n
Cover Image
Read Now

217
by Fomin, Fedor V., Kratsch, Dieter
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Convolution -- Local Search and SAT -- Split and List -- Time Versus Space -- Miscellaneous -- Conclusions...”
Cover Image
Read Now

218
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

219
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... with Reductions to a SAT Problem --...”