Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=976

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Complete solving of linear diophantine equations and inequations without adding variables
Farid Ajili, Evelyne Contejean
Lecture Notes in Computer Science 976, 1995, pp. 1-17
From Elliott-MacMahon to an algorithm for general linear constraints on naturals
Eric Domenjoud, Ana Paula Tomás
Lecture Notes in Computer Science 976, 1995, pp. 18-35
The progressive party problem: Integer linear programming and constraint programming compared
Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams
Lecture Notes in Computer Science 976, 1995, pp. 36-52
From local to global consistency in temporal constraint networks
Manolis Koubarakis
Lecture Notes in Computer Science 976, 1995, pp. 53-69
Scaling effects in the CSP phase transition
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
Lecture Notes in Computer Science 976, 1995, pp. 70-87
Asynchronous weak-commitment search for solving distributed constraint satisfaction problems
Makoto Yokoo
Lecture Notes in Computer Science 976, 1995, pp. 88-102
Optimization-based heuristics for maximal constraint satisfaction
Javier Larrosa, Pedro Meseguer
Lecture Notes in Computer Science 976, 1995, pp. 103-120
First-order definability over constraint databases
Stéphane Grumbach, Jianwen Su
Lecture Notes in Computer Science 976, 1995, pp. 121-136
On similarity queries for time-series data: Constraint specification and implementation
Dina Q. Goldin, Paris C. Kanellakis
Lecture Notes in Computer Science 976, 1995, pp. 137-153
Safe stratified datalog with integer order programs
Peter Z. Revesz
Lecture Notes in Computer Science 976, 1995, pp. 154-169
Constrained dependencies
Michael J. Maher
Lecture Notes in Computer Science 976, 1995, pp. 170-185
Solving linear, min and max constraint systems using CLP based on relational interval arithmetic
Pierre Girodias, Eduard Cerny, William J. Older
Lecture Notes in Computer Science 976, 1995, pp. 186-203
Debugging constraint programs
Micha Meier
Lecture Notes in Computer Science 976, 1995, pp. 204-221
An optimizing compiler for CLP ({\cal R})
Andrew D. Kelly, Andrew Macdonald, Kim Marriott, Harald Sondergaard, Peter J. Stuckey, Roland H.C. Yap
Lecture Notes in Computer Science 976, 1995, pp. 222-239
Local and global relational consistency
Rina Dechter, Peter van Beek
Lecture Notes in Computer Science 976, 1995, pp. 240-257
Dynamic variable ordering in CSPs
Fahiem Bacchus, Paul van Run
Lecture Notes in Computer Science 976, 1995, pp. 258-275
A unifying framework for tractable constraints
Peter Jeavons, David Cohen, Marc Gyssens
Lecture Notes in Computer Science 976, 1995, pp. 276-291
On the forward checking algorithm
Fahiem Bacchus, Adam Grove
Lecture Notes in Computer Science 976, 1995, pp. 292-309
A confluent calculus for concurrent constraint programming with guarded choice
Kim Marriott, Martin Odersky
Lecture Notes in Computer Science 976, 1995, pp. 310-327
Situated simplification
Andreas Podelski, Gert Smolka
Lecture Notes in Computer Science 976, 1995, pp. 328-344
Guarded constructive disjunction: Angel or demon?
Christian Codognet, Philippe Codognet
Lecture Notes in Computer Science 976, 1995, pp. 345-361
Domain independent ask approximation in CCP
Enea Zaffanella
Lecture Notes in Computer Science 976, 1995, pp. 362-379
On the combination of symbolic constraints, solution domains, and constraint solvers
Franz Baader, Klaus U. Schulz
Lecture Notes in Computer Science 976, 1995, pp. 380-397
Constraint propagation in model generation
Jian Zhang, Hantao Zhang
Lecture Notes in Computer Science 976, 1995, pp. 398-414
Normalizing narrowing for weakly terminating and confluent systems
Andreas Werner
Lecture Notes in Computer Science 976, 1995, pp. 415-430

Seiten 1 2 >