CONSTRAINTS 2007 | Sciweavers

13

click to vote

CONSTRAINTS
2007

120views more CONSTRAINTS 2007»

Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems

13 years 4 months ago

Download www.cse.cuhk.edu.hk

Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith

claim paper

Read More »

14

click to vote

CONSTRAINTS
2007

112views more CONSTRAINTS 2007»

Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic

13 years 4 months ago

Download www.crt.umontreal.ca

In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...

Francisco Azevedo

claim paper

Read More »

13

click to vote

CONSTRAINTS
2007

94views more CONSTRAINTS 2007»

A Constraint-based Approach for Annotating Music Scores with Gestural Information

13 years 4 months ago

Download www.crt.umontreal.ca

The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a ...

Daniele P. Radicioni, Vincenzo Lombardo

claim paper

Read More »

11

click to vote

CONSTRAINTS
2007

83views more CONSTRAINTS 2007»

Asynchronous Forward-checking for DisCSPs

13 years 4 months ago

Download www.cs.bgu.ac.il

Amnon Meisels, Roie Zivan

claim paper

Read More »

11

click to vote

CONSTRAINTS
2007

78views more CONSTRAINTS 2007»

The Complexity of Reasoning with Global Constraints

13 years 4 months ago

Download 4c.ucc.ie

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich...

claim paper

Read More »

8

click to vote

CONSTRAINTS
2007

83views more CONSTRAINTS 2007»

Generic Incremental Algorithms for Local Search

13 years 4 months ago

Download www.crt.umontreal.ca

When a new (global) constraint is introduced in local search, measures for the penalty and variable conﬂicts of that constraint must be deﬁned, and incremental algorithms for m...

Magnus Ågren, Pierre Flener, Justin Pearson

claim paper

Read More »

13

click to vote

CONSTRAINTS
2007

89views more CONSTRAINTS 2007»

Cardinal: A Finite Sets Constraint Solver

13 years 4 months ago

Download www.crt.umontreal.ca

In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...

Francisco Azevedo

claim paper

Read More »

11

click to vote

CONSTRAINTS
2007

97views more CONSTRAINTS 2007»

Models for Global Constraint Applications

13 years 4 months ago

Download 4c.ucc.ie

In this paper we give an overview of some industrial applications built using global constraints. We look at three systems from diﬀerent application domains and show the core mo...

Helmut Simonis

claim paper

Read More »

9

click to vote

CONSTRAINTS
2007

92views more CONSTRAINTS 2007»

Global Constraint Catalogue: Past, Present and Future

13 years 4 months ago

Download www.crt.umontreal.ca

Abstract. The catalogue of global constraints is reviewed, focusing on the graph-based description of global constraints. A number of possible enhancements are proposed as well as ...

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...

claim paper

Read More »

12

click to vote

CONSTRAINTS
2007

92views more CONSTRAINTS 2007»

Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction

13 years 4 months ago

Download www.crt.umontreal.ca

Yehuda Naveh, Andrea Roli

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers