Search alternatives:
awash » wash, akash, arash
brash » crash, brush, brass
swath » swat, spath
sat » salt, satz
-plate » -plates, -place
Cover Image
Read Now

1
Published 2016
SPIE
Cover Image
Read Now

2
Published 2019
SPIE
Cover Image
Read Now

3
Published 2018
SPIE
Cover Image
Read Now

4
Published 2021
SPIE
Cover Image
Read Now

5
Published 2020
SPIE
Cover Image
Read Now

6
Published 2022
SPIE
Cover Image
Read Now

8
by Hopkins, June
Published 1999
Palgrave Macmillan US
Cover Image
Read Now

10
Published 1995
American Chemical Society
Cover Image
Read Now

12
Published 1987
American Chemical Society
Cover Image
Read Now

13
by Brash, Ron, Naik, Ganesh
Published 2018
Packt Publishing
Cover Image
Read Now

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

15
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

16
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

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

18
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

19
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

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