Výsledky vyhledávání - constraint logic programming over finite domains*

Functional and Cost-Based Automatic Generator for Hybrid Vehicles Topologies Autor 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…”
Získat plný text

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

“…CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains…”
Získat plný text

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

“…$)) with a lazy functional logic programming language which seamlessly embodies finite domain ($\fd$) constraints. This proposal increases the expressiveness and power of constraint logic programming over finite domains…”
Získat plný text

From extended feature models to constraint logic programming Autor 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…”
Získat plný text

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems Autor 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…”
Získat plný text

Multivalued action languages with constraints in CLP(FD) Autor 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…”
Získat plný text

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

“…)) with a lazy functional logic programming language which seamlessly embodies finite domain (FD) constraints. This proposal increases the expressiveness and power of constraint logic programming over finite domains…”
Získat plný text

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) Autor 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…”
Získat plný text

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” Autor Wallace, Mark, Schimpf, Joachim, Shen, Kish, Harvey, Warwick

Získat plný text

Relating constraint answer set programming languages and algorithms Autor 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…”
Získat plný text

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling Autor 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…”
Získat plný text

Multivalued action languages with constraints in CLP(FD)1 Autor 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…”
Získat plný text

Relational programming in miniKanren: Techniques, applications, and implementations Autor Byrd, William E

“… For example, a relational interpreter for a subset of Scheme might use nominal unification to support variable binding and scope, Constraint Logic Programming over Finite Domains (CLP(FD…”
Získat plný text

Constraint logic programming for examination timetabling Autor Boizumault, P, Delon, Y, Peridy, L

“…In this paper, we present an application of constraint logic programming to the examination timetabling problem of our university…”
Získat plný text

Programming finite-domain constraint propagators in Action Rules Autor 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…”
Získat plný text

Solving functional constraints by variable substitution Autor 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…”
Získat plný text

A Prolog assisted search for new simple Lie algebras Autor Cushing, David, Stagg, George W, Stewart, David I

“…We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD…”
Získat plný text

Analysis of Extended Feature Models With Constraint Programming Autor Karataş, Ahmet Serkan

“… as global constraints, to constraint logic programming over finite domains. Then, we discuss the effects of including complex feature attribute relationships on various…”
Získat plný text

PlanEx: Intelligent interface for solving constraint satisfaction problems Autor Tiwari, Abhilash

“… PlanEx is implemented as a Visual Studio Tools for Office (VSTO) add-in for Microsoft Excel and exploits Constraint Logic Programming over Finite Domains (CLP (FD…”
Získat plný text

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

“…We present BEE, a compiler which enables to encode finite domain constraint problems to CNF…”
Získat plný text