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 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

2
Published 2018
Springer International Publishing
“... cover the most important and recent contributions in parallel propositional satisfiability (SAT...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions...”
Cover Image
Read Now

4
by Hamadi, Youssef
Published 2013
Springer Berlin Heidelberg