Hans Werner Güsgen

1959

• A perspective of constraint-based reasoning
• CONSAT