Helmut Simonis
- Solving large combinatorial problems in logic programming
1990/01/01 by Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck · 1 citation
Computer Science · Mathematics · #Artificial intelligence #Computer science #Concurrent constraint logic programming #Constraint (computer-aided design) #Constraint Satisfaction and Optimization #Constraint logic programming #Constraint programming #Constraint satisfaction #Declarative programming #Fifth-generation programming language #Firmware #Functional logic programming #Inductive programming #Logic programming #Logic, programming, and type systems #Mathematical optimization #Mathematics #Model-Driven Software Engineering Techniques #Programming language #Programming paradigm #Prolog #Theoretical computer science