Search Sciweavers | Sciweavers

13841 search results - page 1 / 2769

» Algorithms and Constraint Programming

click to vote

ICALP
2000
Springer

105views Programming Languages» more ICALP 2000»

Constraint Programming and Graph Algorithms

14 years 8 months ago

Download www.mpi-inf.mpg.de

Kurt Mehlhorn

claim paper

Read More »

click to vote

CONSTRAINTS
1999

105views more CONSTRAINTS 1999»

Algorithmic Power from Declarative Use of Redundant Constraints

14 years 4 months ago

Download webhome.cs.uvic.ca

Interval constraints can be used to solve problems in numerical analysis. In this paper we show that one can improve the performance of such an interval constraint program by the ...

Maarten H. van Emden

claim paper

Read More »

click to vote

COR
2000

93views more COR 2000»

An ellipsoid algorithm for equality-constrained nonlinear programs

14 years 4 months ago

Download www.rpi.edu

Abstract

Sharmila Shah, John E. Mitchell, Michael Kupfersch...

claim paper

Read More »

click to vote

AMAI
2008
Springer

175views Artificial Intelligence» more AMAI 2008»

Integrating answer set programming and constraint logic programming

14 years 4 months ago

Download www.krlab.cs.ttu.edu

We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...

Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang

claim paper

Read More »

click to vote

CP
2004
Springer

93views Artificial Intelligence» more CP 2004»

A New Algorithm for Maintaining Arc Consistency After Constraint Retraction

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers