• Suche: "constraint logic programming"

Treffer 161 - 180 von 1.800

161

Eplex : Harnessing mathematical programming solvers for constraint logic programming
SHEN, Kish ; SCHIMPF, Joachim
Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. :622-636

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
162

Developing interval global optimization algorithms on the basis of branch-and-bound and constraint propagation methods
DOLGOV, Yuri G
Selected works presented at the International Workshop on Interval Mathematics and Constraint Propagation Methods, June 23-24, 2004, Akademgorodok, Novorsibirsk, RussiaReliable computing. 11(5):343-358

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
163

Declarative constraint programming with definitional trees
DEL VADO VIRSEDA, Rafael
Frontiers of combining systems (5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, proceedings)Lecture notes in computer science. :184-199

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
164

Coordination of many agents
JAFFAR, Joxan ; YAP, Roland H. C ; ZHU, Kenny Q
Logic programming (21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, proceedings)Lecture notes in computer science. :98-112

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
165

Conditional symmetry breaking
GENT, Ian P ; KELSEY, Tom ; LINTON, Steve A ; et al.
Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. :256-270

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
166

CP(Graph) : Introducing a graph computation domain in constraint programming
DOOMS, Gregoire ; DEVILLE, Yves ; DUPONT, Pierre
Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. :211-225

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
167

Beyond finite domains : The all different and global cardinality constraints
QUIMPER, Claude-Guy ; WALSH, Toby
Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. :812-816

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
168

Associated types and constraint propagation for mainstream object-oriented generics
JÄRVI, Jaakko ; WILLCOCK, Jeremiah ; LUMSDAINE, Andrew
Proceedings of the 20th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05)ACM SIGPLAN notices. 40(10):1-19

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
169

Applying constraint logic programming to predicate abstraction of RTL verilog descriptions
TUN LI ; YANG GUO ; SIKUN LI ; et al.
MICAI 2005 (advances in artificial intelligence)Lecture notes in computer science. :175-184

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
170

Applying constraint programming to rigid body protein docking
KRIPPAHL, Ludwig ; BARAHONA, Pedro
Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. :373-387

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
171

An efficient bounds consistency algorithm for the global cardinality constraint
QUIMPER, Claude-Guy ; GOLYNSKI, Alexander ; LOPEZ-ORTIZ, Alejandro ; et al.
Principles and practice of constraint programmingConstraints (Dordrecht). 10(2):115-135

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
172

An approach for dynamic split strategies in constraint solving
CASTRO, Carlos ; MONFROY, Eric ; FIGUEROA, Christian ; et al.
MICAI 2005 (advances in artificial intelligence)Lecture notes in computer science. :162-174

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
173

Ad-hoc global constraints for life
CHENG, Kenil C. K ; YAP, Roland H. C
Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. :182-195

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
174

Acquiring parameters of implied global constraints
BESSIERE, Christian ; COLETTA, Rémi ; PETIT, Thierry
Principles and practice of constraint programming - CP 2005 (11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005, proceedings)Lecture notes in computer science. :747-751

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
175

Abduction of linear arithmetic constraints
MAHER, Michael J
Logic programming (21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, proceedings)Lecture notes in computer science. :174-188

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
176

A hybrid method for planning and scheduling
HOOKER, J. N
Principles and practice of constraint programming (CP 2004)Constraints (Dordrecht). 10(4):385-401

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
177

A comparison of CLP(FD) and ASP solutions to NP-complete problems
DOVIER, Agostino ; FORMISANO, Andrea ; PONTELLI, Enrico
Logic programming (21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, proceedings)Lecture notes in computer science. :67-82

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
178

A SAT-based version space algorithm for acquiring constraint satisfaction problems
BESSIERE, Christian ; COLETTA, Remi ; KORICHE, Frédéric ; et al.
Foundations of security analysis and design III (FOSAD 2004/2005 Tutorial lectures)Lecture notes in computer science. :23-34

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
179

Towards verification of computation orchestration
Dong, Jin Song ; Liu, Yang ; Sun, Jun ; et al.
Formal Aspects of Computing. 26:729-759

Engineering::Computer sc... Uppaal Constraint logic program... Verification 1. No poverty DRNTU::Engineering::Comp... …
Fachzeitschrift
Zu den Favoriten
180

A Logical Framework for the Representation and Verification of Context-aware Agents
Abdur Rakib ; Hafiz Mahfooz Ul Haque
Mobile Networks and Applications. 19:585-597

Rewriting Model checking Artificial intelligence FOS: Political science Set (abstract data type) FOS: Law …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter