• Search: "constraint logic programming"

Showing 141 - 160 of 1,800

141

Cane Railway Scheduling via Constraint Logic Programming: Labelling Order and Constraints in a Real-Life Application: Cane railway scheduling via constraint logic programming: Labelling order and constraints in a real-life application
Martin, F ; Pinkney, A ; Yu, X
Annals of Operations Research. 108:193-209

Constraint logic program... constraint logic program... Transportation, logistic... Deterministic scheduling... Cane railway scheduling 090299 Automotive Engine... …
Academic journal
Save to List
142

sPREAD : A balancing constraint based on statistics
PESANT, Gilles ; REGIN, Jean-Charles
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. :460-474

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
143

Views and iterators for generic constraint implementations
SCHULTE, Christian ; TACK, Guido
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. :817-821

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
144

Use constraint hierarchy for non-functional requirements analysis
YING GUAN ; GHOSE, Aditya K
Web engineering (Sydney, 27-29 July 2005)Lecture notes in computer science. :104-109

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
145

Two contributions of constraint programming to machine learning
LALLOUET, Arnaud ; LEGTCHENKO, Andreï
Foundations of security analysis and design III (FOSAD 2004/2005 Tutorial lectures)Lecture notes in computer science. :617-624

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
146

Towards an integration of answer set and constraint solving
BASELICE, S ; BONATTI, P. A ; GELFOND, M
Logic programming (21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, proceedings)Lecture notes in computer science. :52-66

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
147

The G12 project : Mapping solver independent models to efficient solutions
STUCKEY, Peter J ; GARCIA DE LA BANDA, Maria ; MAHER, Michael ; 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. :13-16

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
148

Testing concurrent systems : An interpretation of intuitionistic logic
JAGADEESAN, Radha ; NADATHUR, Gopalan ; SARASWAT, Vijay
FSTTCS 2005 (Foundations of software technology and theoretical computer science)0FSTTCS 2005. :517-528

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
149

Specializing narrowing for timetable generation: A case study
BRAUNER, Nadia ; ECHAHED, Rachid ; FINKE, Gerd ; et al.
PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Lecture notes in computer science. :22-36

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
150

Solving collaborative fuzzy agents problems with CLP(FD)
MUNOZ-HERNANDEZ, Susana ; GOMEZ-PEREZ, Jose Manuel
PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Lecture notes in computer science. :187-202

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
151

Solving Kirkman's schoolgirl problem in a few seconds
BARNIER, Nicolas ; BRISSET, Pascal
Principles and practices of constraint programmingConstraints (Dordrecht). 10(1):7-21

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
152

Quantifier elimination for constraint logic programming
STURM, Thomas
CASC 2005 : computer algebra in scientific computing (Kalamata, 12-16 September 2005)Lecture notes in computer science. :416-430

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
153

Predicate abstraction of RTL verilog descriptions using constraint logic programming
TUN LI ; YANG GUO ; SIKUN LI ; et al.
Automated technology for verification and analysis (Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, proceedings)Lecture notes in computer science. :174-186

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
154

Parallelizing union-find in constraint handling rules using confluence analysis
FRÜHWIRTH, Thorn
Logic programming (21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, proceedings)Lecture notes in computer science. :113-127

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
155

JML-testing-tools : A symbolic animator for JML specifications using CLP
BOUQUET, Fabrice ; DADEAU, Frédéric ; LEGEARD, Bruno ; et al.
TACAS 2005 : tools and algorithms for the construction and analysis of systems (Edinburgh, 4-8 April 2005)Lecture notes in computer science. :551-556

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
156

Integrating benders decomposition within constraint programming
CAMBAZARD, Hadrien ; JUSSIEN, Narendra
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. :752-756

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
157

Handling implication and universal quantification constraints in FLUX
THIELSCHER, Michael
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. :667-681

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
158

Graph invariants as necessary conditions for global constraints
BELDICEANU, Nicolas ; CARLSSON, Mats ; RAMPON, Jean-Xavier ; 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. :92-106

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
159

Generating corrective explanations for interactive constraint satisfaction
O'CALLAGHAN, Barry ; O'SULLIVAN, Barry ; FREUDER, Eugene 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. :445-459

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
160

Extension of O(n log n) filtering algorithms for the unary resource constraint to optional activities
VILIM, Petr ; BARTAK, Roman ; CEPEK, Ondrej
Principles and practice of constraint programming (CP 2004)Constraints (Dordrecht). 10(4):403-425

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter