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

1
Published 1999
Springer US
Table of Contents: ... for Combinatorial Optimization Problems -- Frequency Assignment Problems -- Algorithms for the Satisfiability (SAT...

2
Published 2013
Springer New York
Table of Contents: ... -- Approximate Algorithms and Heuristics for MAX-SAT -- Knapsack Problems -- Steiner Minimum Trees in E 3...

3
Published 2021
Springer International Publishing
Table of Contents: ... -- A Novel Algorithm for Max Sat Calling MOCE to Order --...

4
Published 1994
Springer Berlin Heidelberg
Table of Contents: ...On helping and interactive proof systems -- Average time complexity of the SAT 1.2 algorithm...