Suchergebnisse - Constraint logic programming on finite domains

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) von GAVANELLI, MARCO, NONATO, MADDALENA, PEANO, ANDREA, BERTOZZI, DAVIDE

“… One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the …”
Volltext

Constraint functional logic programming over finite domains von Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Del Vado-Virseda, Rafael

“… In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP($\fd …”
Volltext

Functional and Cost-Based Automatic Generator for Hybrid Vehicles Topologies von Silvas, Emilia, Hofman, Theo, Serebrenik, Alexander, Steinbuch, Maarten

“… The energy efficiency of a hybrid electric vehicle is dictated by the topology (coupling option of power sources/sinks), choice (technology), and control of …”
Volltext

On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains” von Wallace, Mark, Schimpf, Joachim, Shen, Kish, Harvey, Warwick

Volltext

Relating constraint answer set programming languages and algorithms von Lierler, Yuliya

“… Soon after that, a clingcon language integrating answer set programming and finite domain constraints, as well as an ezcsp language integrating answer set programming and constraint logic programming were introduced …”
Volltext

From extended feature models to constraint logic programming von Karataş, Ahmet Serkan, Oğuztüzün, Halit, Doğru, Ali

“… handled. In this article, we introduce a mapping from extended feature models to constraint logic programming over finite domains …”
Volltext

Compiling finite domain constraints to SAT with BEE von METODI, AMIT, CODISH, MICHAEL

“… We present BEE, a compiler which enables to encode finite domain constraint problems to CNF …”
Volltext

Programming finite-domain constraint propagators in Action Rules von ZHOU, NENG-FA

“… In this paper, we propose a new language, called AR (Action Rules), and describe how various propagators for finite-domain constraints can be implemented …”
Volltext

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling von Chesani, Federico, Cota, Giuseppe, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Riguzzi, Fabrizio

“… Every year about one third of the food production intended for humans gets lost or wasted. This wastefulness of resources leads to the emission of unnecessary …”
Volltext

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems von Dovier, Agostino, Formisano, Andrea, Pontelli, Enrico

“… ) and Constraint Logic Programming over Finite Domains (CLP(FD)). The objective is to investigate how solvers in the two domains respond to different problems, highlighting …”
Volltext

Constraint Functional Logic Programming over Finite Domains von Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Rafael del Vado-Virseda

“… In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD …”
Volltext

Multivalued action languages with constraints in CLP(FD) von DOVIER, AGOSTINO, FORMISANO, ANDREA, PONTELLI, ENRICO

“… ), a slight variation of ℬ, using Constraint Logic Programming over Finite Domains . The approach is then generalized to raise the use of constraints to the level of the action language itself …”
Volltext

Solving functional constraints by variable substitution von ZHANG, YUANLIN, YAP, ROLAND H. C.

“… ) systems, in particular for Constraint Logic Programming (CLP) systems. CP systems with finite domain constraints usually employ Constraint Satisfaction Problem …”
Volltext

CLPGUI: a generic graphical user interface for constraint logic programming over finite domains von Fages, Francois

“… CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains …”
Volltext

Compiling finite domain constraints to SAT with von METODI, AMIT, CODISH, MICHAEL

“… Abstract We present , a compiler which enables to encode finite domain constraint problems to CNF …”
Volltext

CLP(H): Constraint logic programming for hedges von DUNDUA, BESIK, FLORIDO, MÁRIO, KUTSIA, TEMUR, MARIN, MIRCEA

“… CLP(H) is an instantiation of the general constraint logic programming scheme with the constraint domain of hedges …”
Volltext

Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-life Employee Timetabling Problem von Castiñeiras, Ignacio, Sáenz-Pérez, Fernando

“… paradigms embedding Finite Domain constraint solving: Constraint Programming, Constraint Logic Programming and Constraint Functional Logic Programming …”
Volltext

Finite-Choice Logic Programming von Martens, Chris, Simmons, Robert J., Arntzenius, Michael

“… Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model …”
Volltext

Research on Shunting Engine Path Planning Based on Logic Program von XIE Xiaotian,ZHAO Lingzhong

“… to adjust.Therefore,a logic programming method based on Answer Set Program(ASP) and Constraint Logic Program over Finite Domains(CLP(FD …”
Volltext

Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper) von Gavanelli, Marco, Nonato, Maddalena, Peano, Andrea, Bertozzi, Davide

“… One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the …”
Volltext