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

1
Published 1999
Springer US
Table of Contents: “... for Combinatorial Optimization Problems -- Frequency Assignment Problems -- Algorithms for the Satisfiability (SAT...”
Cover Image
Read Now

2
Published 1999
Springer New York
Table of Contents: “... computing systems -- Parallel algorithms for satisfiability (SAT) testing -- Sequential and parallel branch...”
Cover Image
Read Now

3
Published 2021
Springer International Publishing
Table of Contents: “... dimensional sets (Zhigljavsky) -- Finding effective SAT partitionings via black-box optimization (Semenov...”
Cover Image
Read Now

4
by Ding-Zhu Du, Pardalos, Panos M.
Published 1998
Springer US
Table of Contents: “... for MAX-SAT -- Connections between Nonlinear Programming and Discrete Optimization -- Interior Point...”
Cover Image
Read Now

5
Published 2013
Springer New York
Table of Contents: “... -- Approximate Algorithms and Heuristics for MAX-SAT -- Knapsack Problems -- Steiner Minimum Trees in E 3...”
Cover Image
Read Now

6
Published 2019
Springer International Publishing
Table of Contents: “... Procedure for Gaussian Graphical : Model Selection -- Hyper-Reactive Tabu Search for MaxSAT -- Exact...”