Results 221 to 230 of about 29,551 (265)
Some of the next articles are maybe not open access.
Constraint Programming MapReduce'd
Proceedings of the 9th Hellenic Conference on Artificial Intelligence, 2016While Constraint Programming (CP) aims to explore efficiently large search trees, MapReduce (MR) is a framework that focuses on huge databases and text files. In this work, we try to bridge these two cutting-edge paradigms in order to solve Constraint Satisfaction Problems (CSPs) in distributed and/or parallel environments.
Nikolaos Pothitos +1 more
openaire +2 more sources
Cardinality Constraint Programs
2004We define the class of cardinality constraint logic programs and provide a formal stable model semantics for them. The class extends normal logic programs by allowing the use of cardinality constraints and conditional literals. We identify a decidable subset, omega-restricted programs, of the class.
openaire +1 more source
Teaching Constraint Programming
2014How do we do research?We start with a question. Then we read books, journal and conference papers, maybe even speak to people. Then we do our own work, make our own contribution, maybe coming up with an improved technique or a greater insight.We then write up our findings, maybe submit this to a conference, present our work and get feedback, and this ...
openaire +2 more sources
1995
Constraint programming (CP) is in its substance non-algorithmic programming, not last because it is often being applied to problems for which no efficient algorithms exist. A not immediately obvious consequence of this fact is that debugging CP programs is principally different from debugging algorithmic programs, including imperative, functional or ...
openaire +2 more sources
Constraint programming (CP) is in its substance non-algorithmic programming, not last because it is often being applied to problems for which no efficient algorithms exist. A not immediately obvious consequence of this fact is that debugging CP programs is principally different from debugging algorithmic programs, including imperative, functional or ...
openaire +2 more sources
Programming constraints by demonstration
Journal of Visual Languages & Computing, 2003Abstract The executable constraint is proposed to offer designers a way to define a new set of constraints on top of an editing tool. It aims mainly to maintain the integrity of data structures such as diagrams that users create, during an edit session.
openaire +1 more source
The Impact of Constraint Programming
2008Constraint programming is a success story for artificial intelligence. It quickly moved from research laboratories to industrial applications and is in daily use to solve complex optimization throughout the world. At the same time, constraint programming continued to evolve, addressing new needs and opportunities. This talk reviews some recent progress
openaire +2 more sources
Algorithms and Constraint Programming
2006Constraint Programming is a powerful programming paradigm with a great impact on a number of important areas such as logic programming[45], concurrent programming[42], artificial intelligence[12], and combinatorial optimization[46]. We believe that constraint programming is also a rich source of many challenging algorithmic problems, and cooperations ...
Fabrizio Grandoni 0001 +1 more
openaire +1 more source
1999
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notations from modeling languages with a rich constraint language and the ability to specify search procedures and strategies that is the essence of constraint programming.
Pascal Van Hentenryck +3 more
openaire +1 more source
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notations from modeling languages with a rich constraint language and the ability to specify search procedures and strategies that is the essence of constraint programming.
Pascal Van Hentenryck +3 more
openaire +1 more source
Constraint programming languages
Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93), 2002Combinatorial search problems are ubiquitous in computer science and appears in many application areas, including operations research, hardware design, computational geometry, and finance. I take the position that constraint programming languages will play an increasingly important role in the development of these applications.
openaire +1 more source
Programming constraint services
2004Diese Dissertation beschreibt Entwurf, Verwendung, Implementierung und Evaluierung von Computation Spaces für die Programmierung von Constraintdiensten. Spaces werden in eine nebenläufige Programmiersprache integriert. Sie fungieren als Kapseln für Berechnungen mit Constraints. Dadurch wird die Kompatibilität zu nebenläufigen Berechnungen gewährleistet.
openaire +2 more sources