Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017

Program Verification using Constraint Handling Rules and Array Constraint Generalizations *

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1998-7

Rule-Based Constraint Programming

Claude Kirchner, Christophe Ringeissen

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Constraint Logic Programming with Polynomial Constraints over Finite Domains

Federico Bergenti, Stefania Monica, Gianfranco Rossi

Fundamenta Informaticae

Retricted access

Other

First published 2003-5

Function variables for constraint programming

Brahim Hnich

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020

Selective Unification in (Constraint) Logic Programming *

Fred Mesnard, Étienne Payet, Germán Vidal

Fundamenta Informaticae

Free access

Research article

First published 2025

A Heuristic Constraint Programming Method for the p-Median Problem With Distance Constraints

Panteleimon Iosif, Nikolaos Ploskas, Kostas Stergiou

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020-8-5

Block structured scheduling using constraint logic programming

Amelia Bădică, Costin Bădică, Mirjana Ivanović

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2016-6-4

A constraint programming scheduling solver for the MPOpt programming environment

Alessio Bonfietti

Intelligenza Artificiale

Retricted access

Research article

First published 2011-2

Recent constraint/logic programming based advances in the solution of the protein folding problem

Agostino Dovier

Intelligenza Artificiale

Retricted access

Research article

First published 2009-10

A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs

Valerio Senni, Alberto Pettorossi, Maurizio Proietti

Fundamenta Informaticae

Search results