A. Strohmaier

Multi-flip Networks: a Parallelization of Local Sat{algorithms

A. Strohmaier, 1996 .

A neural network algorithm for propositional horn satis abilityand query answeringAntje

A. Strohmaier, 2007 .

A Fuzziication of Conceptual Knowledge Systems

C. Herrmann, A. Strohmaier, FG Intellektik, 2007 .

Parallel Local Search Algorithms

A. Strohmaier, 2007 .

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.

A Complete Neural Network Algorithm for Horn-Sat

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

The Gsat/sa-familiy { Relating Greedy Satisifability Testing to Simulated Annealing the Gsat/sa Family Relating Greedy Satissability Testing to Simulated Annealing

H. Hoos, A. Wei, A. Strohmaier, 1994 .