| 书目名称 | Recent Advances in Constraints |
| 副标题 | Joint ERCIM/CoLogNET |
| 编辑 | Krzysztof R. Apt,François Fages,Josef Váncza |
| 视频video | http://file.papertrans.cn/823/822687/822687.mp4 |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research ?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP2003), which was held from June 30 to July 2, 2003. The venue chosen for the seventh edition of this annual workshop was the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) in Budapest, Hungary. This institute is one of the 20 members of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics (ERCIM). For many participants this workshop provided the ?rst opportunity to visit their ERCIM partner in Budapest. CoLogNET is the European-funded network of excellence dedicat |
| 出版日期 | Conference proceedings 2004 |
| 关键词 | abstract verification; arithmetic constraints; constraint logic programming; constraint processing; cons |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b96986 |
| isbn_softcover | 978-3-540-21834-0 |
| isbn_ebook | 978-3-540-24662-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2004 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-10 01:13
发表于 2025-3-21 16:50:32
