Search Results - "constraint logic programming over finite domains"

Functional and Cost-Based Automatic Generator for Hybrid Vehicles Topologies by 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…”
Get full text

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

“…CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains. In CLPGUI, the user can control the…”
Get full text

From extended feature models to constraint logic programming by 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…”
Get full text

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems by 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…”
Get full text

Multivalued action languages with constraints in CLP(FD) by 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…”
Get full text

Constraint functional logic programming over finite domains by 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…”
Get full text

Multivalued action languages with constraints in CLP(FD)1 by 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…”
Get full text

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

“…We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD…”
Get full text

Relational programming in miniKanren: Techniques, applications, and implementations by 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…”
Get full text

Analysis of Extended Feature Models With Constraint Programming by 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…”
Get full text

PlanEx: Intelligent interface for solving constraint satisfaction problems by 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…”
Get full text

Constraint logic programming for examination timetabling by 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. Each year, in June, 4000…”
Get full text

The Ciao clp(FD) Library. A Modular CLP Extension for Prolog by Emilio Jesús Gallego Arias, Haemmerlé, Rémy, Hermenegildo, Manuel V, Morales, José F

“…We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system…”
Get full text

Multi-valued Action Languages in CLP(FD) by Dovier, Agostino, misano, Andrea, Pontelli, Enrico

“…), a slight variation of B, 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…”
Get full text

Constraint Functional Logic Programming over Finite Domains by 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…”
Get full text