• Search: "Constraint Logic Programming"

Showing 261 - 280 of 1,800

261

MultiCAD-GA: A system for the design of 3D forms based on genetic algorithms and human evaluation
VASSILAS, Nikolaos ; MIAOULIS, George ; CHRONOPOULOS, Dionysios ; et al.
Methods and applications of artificial intelligence (Thessaloniki, 11-12 April 2002)Lecture notes in computer science. :203-214

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
262

Logical loops
SCHIMPF, Joachim
Logic programming (Copenhagen, 29 July - 1 August 2002)Lecture notes in computer science. :224-238

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

Integration of quantifier elimination with constraint logic programming
STURM, Thomas
AISC 2002 : artificial intelligence, automated reasoning, and symbolic computation (Marseille, 1-5 July 2002)Lecture notes in computer science. :7-11

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

Integrating Constraint and Integer Programming for the Orthogonal Latin Squares problem
APPA, Gautam ; MOURTOS, Ioannis ; MAGOS, Dimitris
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :17-32

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

Inferring constraint types in Constraint Programming
LESAINT, David
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :492-507

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

Groups and constraints: Symmetry breaking during search
GENT, Ian P ; HARVEY, Warwick ; KELSEY, Tom
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :415-430

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

Foundations of a constraint-based illustrator
NELSON, Greg
FroCos 2002 : frontiers of combining systems (Santa Margherita Ligure, 8-10 April 2002)Lecture notes in computer science. :2-17

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

First-order logic as a constraint programming-language
APT, K. R ; VERMEULEN, C. F. M
LPAR 2002 : logic for programming, artificial intelligence, and reasoning (Tbilisi, 14-18 October 2002)Lecture notes in computer science. :19-35

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

Exploiting constraints for domain managing in CLP(FD)
GAVANELLI, Marco ; LAMMA, Evelina ; MELLO, Paola ; et al.
FroCos 2002 : frontiers of combining systems (Santa Margherita Ligure, 8-10 April 2002)Lecture notes in computer science. :177-191

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

Efficient real-time model checking using tabled logic programming and constraints
PEMMASANI, Giridhar ; RAMAKRISHNAN, C. R ; RAMAKRISHNAN, I. V
Logic programming (Copenhagen, 29 July - 1 August 2002)Lecture notes in computer science. :100-114

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

DATALOG with constraints : A foundation for trust management languages
NINGHUI LI ; MITCHELL, John C
PADL 2003 : practical aspects of declarative languages (New Orleans LA, 13-14 January 2003)Lecture notes in computer science. :58-73

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

Continuous first-order constraint satisfaction
RATSCHAN, Stefan
AISC 2002 : artificial intelligence, automated reasoning, and symbolic computation (Marseille, 1-5 July 2002)Lecture notes in computer science. :181-195

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

Constraint-based infinite model checking and tabulation for stratified CLP
CHARATONIK, Witold ; MUKHOPADHYAY, Supratik ; PODELSKI, Andreas
Logic programming (Copenhagen, 29 July - 1 August 2002)Lecture notes in computer science. :115-129

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

Constraint programming contribution to benders decomposition: A case study
BENOIST, Thierry ; GAUDIN, Etienne ; ROTTEMBOURG, Benoit
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :603-617

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

Combining relational algebra, SQL, and constraint programming
CADOLI, Marco ; MANCINI, Toni
FroCos 2002 : frontiers of combining systems (Santa Margherita Ligure, 8-10 April 2002)Lecture notes in computer science. :147-161

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

Combining multisets with integers
ZARBA, Calogero G
Automated deduction - CADE-18 (Copenhagen, 27-30 July 2002)Lecture notes in computer science. :363-376

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

CLPS-B: A Constraint solver for B
BOUQUET, Fabrice ; LEGEARD, Bruno ; PEUREUX, Fabien
TACAS 2002 : tools and algorithms for the construction and analysis of systems (Grenoble, 8-12 April 2002)Lecture notes in computer science. :188-204

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

Breaking row and column symmetries in matrix models
FLENER, Pierre ; FRISCH, Alan M ; HNICH, Brahim ; et al.
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :462-476

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

An arc-consistency algorithm for the minimum weight all different constraint
SELLMANN, Meinolf
CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002)Lecture notes in computer science. :744-749

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

All-different polytopes
LEE, Jon
Special Issue on New Approachesto Hard Discrete OptimizationJournal of combinatorial optimization. 6(3):335-352

Control theory, operatio... Automatique, recherche o... Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter