Search alternatives:
sash » wash, cash, hash
slas » seas, sas, suas
slabs » slab
spath » spat, xpath, spate
sat » salt, satz
-plate » -place
plates » places
Cover Image
Read Now

1
Published 2006
Springer Netherlands
Table of Contents: “... Literal Elimination -- Clause Weighting Local Search for SAT -- Solving Non-Boolean Satisfiability...”
Cover Image
Read Now

2
Published 2016
SPIE
Cover Image
Read Now

3
Published 1743
printed for B---- C----, [i.e. Benjamin Cowse] in Pater-Noster Row
Cover Image
Read Now

4
Published 2018
SPIE
Cover Image
Read Now

5
Published 2021
SPIE
Cover Image
Read Now

6
Published 2019
SPIE
Cover Image
Read Now

7
Published 2020
SPIE
Cover Image
Read Now

8
Published 2022
SPIE
Cover Image
Read Now

9
by Weiß, Sascha
Published 2022
Universitätsverlag der Technischen Universität Berlin
Subjects: “...Space science / bicssc...”
Cover Image
Read Now

11
by Nazirizadeh, Yousef
Published 2010
KIT Scientific Publishing
“...-free optical biosensors based on surface-functionalized photonic crystal slabs is proposed. Using...”
Cover Image
Read Now

12
by Durkin, James F.
Published 2003
Cisco Press
Cover Image
Read Now

15
Published 1743
Printed J.S. near St. Paul's
Cover Image
Read Now

16
Published 1987
Springer Berlin Heidelberg
Cover Image
Read Now

17
by Homberg, Hellmut
Published 1973
Springer Berlin Heidelberg
Cover Image
Read Now

18
Published 2016
Springer International Publishing
Table of Contents: “...SpyBug: Automated Bug Detection in the Con_guration Space of SAT Solvers....”
Cover Image
Read Now

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

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