Antje Strohmaier

Tabu Search vs. Random Walk

Thomas Stützle, Olaf Steinmann, Antje Strohmaier, 1997, KI.

Fuzzy conceptual knowledge processing

Steffen Hölldobler, Antje Strohmaier, Christoph S. Herrmann, 1996, SAC '96.

Logisches Schließen mit massiv parallelen Methoden

Antje Strohmaier, 1997, DISKI.

Multi-flip Networks: Parallelizing GenSAT

Antje Strohmaier, 1997, KI.

A Complete Neural Network Algorithm for Horn-Sat

Antje Strohmaier, A. Strohmaier, 2000, Intellectics and Computational Logic.