Results 231 to 240 of about 29,551 (265)
Some of the next articles are maybe not open access.
2014
Many real world discrete optimization problems are expressible as nested problems where we solve one optimization or satisfaction problem as a subproblem of a larger meta problem. Nested problems include many important problem classes such as: stochastic constraint satisfaction/ optimization, quantified constraint satisfaction/optimization and minimax ...
Geoffrey Chu, Peter J. Stuckey
openaire +2 more sources
Many real world discrete optimization problems are expressible as nested problems where we solve one optimization or satisfaction problem as a subproblem of a larger meta problem. Nested problems include many important problem classes such as: stochastic constraint satisfaction/ optimization, quantified constraint satisfaction/optimization and minimax ...
Geoffrey Chu, Peter J. Stuckey
openaire +2 more sources
Concurrent Constraint Programming
1993Concurrent Constraint Programming introduces a new and rich class of programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on concurrent logic programming and that offer a promising approach for treating thorny issues in the semantics of concurrent, nondeterministic programming ...
openaire +1 more source
Concurrent constraint programming
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90, 1990Vijay A. Saraswat, Martin C. Rinard
openaire +1 more source
2002
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently used in many commercial applications. Since the original proposal, it has developed enormously: many languages and systems are now available either as open source programs or as
openaire +1 more source
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently used in many commercial applications. Since the original proposal, it has developed enormously: many languages and systems are now available either as open source programs or as
openaire +1 more source
Constraint Integer Programming
2007Diese Arbeit stellt einen integrierten Ansatz aus "Constraint Programming" (CP) und Gemischt-Ganzzahliger Programmierung ("Mixed Integer Programming", MIP) vor, den wir "Constraint Integer Programming" (CIP) nennen. Sowohl Modellierungs- als auch Lösungstechniken beider Felder fließen in den neuen integrierten Ansatz ein, um die unterschiedlichen ...
openaire +3 more sources
Concurrent constraint programming
1994In the last years there have been several proposals to extend logic programming with the constructs for concurrency, aiming at the development of a concurrent language which would maintain the typical advantages of logic programming: declarative reading, computations as proofs, amenability to metaprogramming etc.
openaire +3 more sources