Search alternatives:
slash » flash, clash, slas
sath » sathe, saith, sathi, salth, satzh
sat » salt, satz
-plate » -plates
Cover Image
Read Now

1
by Chromatic
Published 2002
O'Reilly
Subjects: “...Slash (computer file)...”
Cover Image
Read Now

2
by Cook, James Christopher
Published 2017
Career Press
“... often come at the expense of income dependability and peace of mind. Slash Your Retirement Risk...”
Cover Image
Read Now

4
Published 2016
SPIE
Cover Image
Read Now

5
Published 2020
SPIE
Cover Image
Read Now

6
Published 2018
SPIE
Cover Image
Read Now

7
Published 2019
SPIE
Cover Image
Read Now

8
Published 2022
SPIE
Cover Image
Read Now

9
Published 2021
SPIE
Cover Image
Read Now

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

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

15
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

16
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

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

18
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

19
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

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