Richard Schmid

According to our database, Richard Schmid authored at least 3 papers between 1989 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Experiences from a Large Industrial Circuit Design Application.

Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

Symbolic Constraint Handling Through Unification in Finite Algebras.

Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén

Appl. Algebra Eng. Commun. Comput., 1990

1989

Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle.

Richard Schmid, Hans-Albert Schneider, Thomas Filkorn

J. Autom. Reason., 1989