Algorithmus.

Data structures & algorithms in Java Lafore, Robert 2003 Fundamentals of algorithmics Brassard, Gilles 2018 Handbook of satisfiability Biere, Armin 2009 WALCOM: Algorithms and Computation Das, Sandip 2009