Add to ORKGThis report presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global constraints. This scheme is based on invariants on the graph characteristics used in the description of a global constraint. A SICStus Prolog implementation based on arithmetic and logical constraints as well as on indexicals is available
We propose Graph Generating Dependencies (GGDs), a new class of dependencies for property graphs. Ex...
Abstract. In this paper we present GRASPER, a graph constraint solver, based on set constraints, tha...
Constraint programming (CP) aims at modeling and solving constraint satisfaction problems. These pro...
This article presents a database of about 200 graph invariants for deriving systematically necessary...
This report presents a database of about 200 graph invariants for deriving systematically necessary...
ABSTRACT The catalogue of global constraints is reviewed, focusing on the graph-based description o...
This report introduces a classification scheme for the global constraints. This classification is ba...
Global Constraints: Introduction and Graph-Based Representation.Global Constraints: Introduction and...
This report presents a catalog of global constraints where each constraint is explicitly described i...
This report presents a catalogue of global constraints where each constraint is explicitly described...
This report presents a catalogue of global constraints where each constraint is explicitly described...
This report presents a generic filtering scheme, based on the graph description of global constraint...
Global constraints are cardinal concepts of CLP (FD), a constraint programming language. They are me...
This report presents a generic filtering scheme, based on the graph description of global constraint...
Global constraints play a crucial role in solving real-life combinatorial problems thanks to encapsu...
We propose Graph Generating Dependencies (GGDs), a new class of dependencies for property graphs. Ex...
Abstract. In this paper we present GRASPER, a graph constraint solver, based on set constraints, tha...
Constraint programming (CP) aims at modeling and solving constraint satisfaction problems. These pro...
This article presents a database of about 200 graph invariants for deriving systematically necessary...
This report presents a database of about 200 graph invariants for deriving systematically necessary...
ABSTRACT The catalogue of global constraints is reviewed, focusing on the graph-based description o...
This report introduces a classification scheme for the global constraints. This classification is ba...
Global Constraints: Introduction and Graph-Based Representation.Global Constraints: Introduction and...
This report presents a catalog of global constraints where each constraint is explicitly described i...
This report presents a catalogue of global constraints where each constraint is explicitly described...
This report presents a catalogue of global constraints where each constraint is explicitly described...
This report presents a generic filtering scheme, based on the graph description of global constraint...
Global constraints are cardinal concepts of CLP (FD), a constraint programming language. They are me...
This report presents a generic filtering scheme, based on the graph description of global constraint...
Global constraints play a crucial role in solving real-life combinatorial problems thanks to encapsu...
We propose Graph Generating Dependencies (GGDs), a new class of dependencies for property graphs. Ex...
Abstract. In this paper we present GRASPER, a graph constraint solver, based on set constraints, tha...
Constraint programming (CP) aims at modeling and solving constraint satisfaction problems. These pro...