Solving Large Combinatorial Problems in Logic Programming
暂无分享,去创建一个
[1] Pascal Van Hentenryck. A Theoretical Framework for Consistency Techniques in Logic Programming , 1987, IJCAI.
[2] Larry Wos,et al. What Is Automated Reasoning? , 1987, J. Autom. Reason..
[3] Helmut Simonis,et al. Extending Equation Solving and Constraint Handling in Logic Programming , 1989 .
[4] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[5] Alain Colmerauer,et al. Note sur Prolog III , 1986, SPLT.
[6] Hervé Gallaire,et al. Logic Programming: Further Developments , 1985, SLP.
[7] J. C. Dodu,et al. Sur le regroupement optimal des sommets dans un réseau électrique , 1969 .
[8] Jean-Louis Laurière,et al. A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..
[9] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[10] F. Radermacher. Scheduling of project networks , 1985 .
[11] Robert M. Haralick,et al. Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..
[12] Michel Minoux,et al. Graphs and Algorithms , 1984 .
[13] Gerald Jay Sussman,et al. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..
[14] Eugene C. Freuder. Synthesizing constraint expressions , 1978, CACM.
[15] J. Laurière. Intelligence artificielle : résolution de problèmes par l'homme et la machine , 1987 .
[16] M. Dincbas. Constraints, logic programming and deductive databases , 1988 .
[17] Wolfram Büttner,et al. Embedding Boolean Expressions into Logic Programming , 1987, J. Symb. Comput..
[18] Guy L. Steele,et al. The definition and implementation of a computer programming language based on constraints , 1980 .