Search alternatives:
smash » slash
sweath » sheath, sweat, sweats
swat » sweat, swan, seat
sat » salt, satz
-plate » -place
plates » places
Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
“... and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd...”
Cover Image
Read Now

4
Published 2014
Springer International Publishing
“... and Workshops on Algorithm Theory, SWAT 2014, held in Copenhagen, Denmark, in July 2014. The 33 papers were...”
Cover Image
Read Now

5
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

6
Published 1991
Springer Berlin Heidelberg
“... (SWAT), continuing the tradition of SWAT '88 (LNCS, Vol. 318), WADS '89 (LNCS, Vol. 382), and SWAT '90...”
Cover Image
Read Now

7
Published 1999
Springer Berlin Heidelberg
“... with the Scandinavian Workshop on Algorithms Theory (SWAT), continuing the tradition of SWAT and WADS starting with SWAT...”
Cover Image
Read Now

8
Published 2014
Springer International Publishing
Table of Contents: “... Finite CSPs into SAT -- SAT and Hybrid Models of the Car Sequencing Problem -- Continuously Degrading...”
Cover Image
Read Now

9
by Bubley, Russ
Published 2001
Springer London
Table of Contents: “... Applications: Coupling -- 4.1 Hypergraph Colourings -- 4.2 Sink-Free Graph Orientations and Twice-Sat -- 4.3...”
Cover Image
Read Now

10
Published 2017
Springer International Publishing
“... Symposium, which alternates with the Scandinavian Symposium and Workshops on Algorithm Theory, SWAT...”
Cover Image
Read Now

11
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Natural Max-SAT Encoding of Min-SAT. A New Hyperheuristic Algorithm for Cross-Domain Search...”
Cover Image
Read Now

12
Published 2017
Springer International Publishing
Table of Contents: “... Better When -- Decomposing SAT Instances with Pseudo Backbones -- Efficient Consideration of Soft Time...”
Cover Image
Read Now

13
Published 2016
Springer International Publishing
Table of Contents: “...Engineering a Lightweight and Efficient Local Search SAT Solver -- Route Planning in Transportation...”
Cover Image
Read Now

14
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Unique Choices: Approximating 1-in-k SAT -- Approximating the Distortion -- Approximating the Best-Fit...”
Cover Image
Read Now

15
Published 2016
Springer International Publishing
Table of Contents: “... on a Parameter -- A Generalised Branch-and-Bound Approach and its Application in SAT Modulo Nonlinear...”
Cover Image
Read Now

16
Published 2023
Springer International Publishing
Table of Contents: “...1. An Overview of SaT Segmentation Methodology and Its Applications in Image Processing -- 2...”
Cover Image
Read Now

17
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Variable Neighborhood Descent for Probabilistic SAT Problem -- A Hybrid Meta-heuristic Approach for Natural...”
Cover Image
Read Now

18
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application...”
Cover Image
Read Now

19
Published 2019
Springer International Publishing
Table of Contents: “... Solution-Biased Search for Subgraph Algorithms -- Core-Boosted Linear Search for Incomplete MaxSAT solving...”
Cover Image
Read Now

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Algorithms for SAT Problems -- Clustering in Stochastic Asynchronous Algorithms for Distributed Simulations...”