Suchergebnisse - Mathematical Logic— logic AND constraint programming*

The Inductive Constraint Programming Loop von BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

“… Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems …”
Volltext

FLARE: Fast layout for augmented reality applications von Gal, Ran, Shapira, Lior, Ofek, Eyal, Kohli, Pushmeet

“… We propose a rule-based framework for generating object layouts for AR applications. Under our framework, the developer of an AR application specifies a set of rules (constraints …”
Volltext

Implementing type theory in higher order constraint logic programming von GUIDI, FERRUCCIO, SACERDOTI COEN, CLAUDIO, TASSI, ENRICO

“… In this paper, we are interested in high-level programming languages to implement the core components of an interactive theorem prover for a dependently typed language: the kernel …”
Volltext

A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems von Sitek, Paweł, Wikarek, Jarosław

“… ) and constraint optimization problems (COPs). Two paradigms, CLP (constraint logic programming) and MP (mathematical programming …”
Volltext

Parallelism and Implementation of Logic and Constraint Logic Programming von Ostebee, Arnold

Volltext

Declarative Logic Programming: Theory, Systems, and Applications von Michael, Kifer, Liu, Yanhong

“… Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages …”
Volltext

A constraint-driven approach to food supply chain management von Sitek, Pawel, Wikarek, Jaroslaw, Nielsen, Peter

“… The use of a declarative approach that additionally includes constraint satisfaction problems and provides an opportunity of fast and easy modeling of constrains different in type and character …”
Volltext

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach von Sitek, Pawel, Wikarek, Jarosław

“… The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and …”
Volltext

A Hybrid Method for Modeling and Solving Supply Chain Optimization Problems with Soft and Logical Constraints von Sitek, Paweł, Wikarek, Jarosław, Bzdyra, Krzysztof

“… Two programming and solving environments, mathematical programming (MP) and constraint logic programming (CLP …”
Volltext

A Hybrid Approach to the Optimization of Multiechelon Systems von Sitek, Paweł, Wikarek, Jarosław

“… Two ways of mathematical programming (MP) and constraint logic programming (CLP) are integrated in one environment …”
Volltext

Hybrid Column Generation Approaches for Urban Transit Crew Management Problems von Yunes, Tallys H, Moura, Arnaldo V, de Souza, Cid C

“… ) and constraint logic programming (CLP) approaches. In addition, we developed hybrid column generation algorithms for solving these problems, combining MP and CLP …”
Volltext

A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution von Sitek, Paweł, Wikarek, Jarosław

“… It is versatile and effective owing to the use of multi-level presolving and multiple paradigms, such as constraint programming, logic programming, mathematical programming and fuzzy logic …”
Volltext

A constraint programming approach for the premarshalling problem von Jiménez-Piqueras, Celia, Ruiz, Rubén, Parreño-Torres, Consuelo, Alvarez-Valdes, Ramon

“… •Constraint programming differs in model construction logic from mathematical models.•We evaluate the performance of our proposal with an extensive computational study …”
Volltext

Reconciling pairs of concurrently used clinical practice guidelines using Constraint Logic Programming von Wilk, Szymon, Michalowski, Martin, Michalowski, Wojtek, Hing, Marisela Mainegra, Farion, Ken

“… We propose an automatic procedure that constructs a mathematical guideline model using the Constraint Logic Programming (CLP …”
Weitere Angaben

A Hybrid Multi-agent Approach to the Solving Supply Chain Problems von Sitek, Paweł, Nielsen, Izabela Ewa, Wikarek, Jarosław

“… (mathematical programming (MP) and constraint logic programming (CLP)) and two types of agents were integrated …”
Volltext

Constraint logic programming framework for integrated decision supports von Ryu, Young U.

“… Constraint logic programming is an integrated paradigm of logic modelling and mathematical programming …”
Volltext

Type-2 integrated process-planning and scheduling problem: Reformulation and solution algorithms von Naderi, Bahman, Begen, Mehmet A., Zaric, Gregory S.

“… To solve our model, we develop a logic-based Benders decomposition method hybridized with constraint programming …”
Volltext

Lifting symmetry breaking constraints with inductive logic programming von Tarzariol, Alice, Gebser, Martin, Schekotihin, Konstantin

“… Most of the existing approaches are instance-specific and focus on the automatic computation of Symmetry Breaking Constraints (SBCs …”
Volltext

Resource-constrained repetitive project scheduling with soft logic von Zou, Xin, Rong, Zhuang

“… This paper proposes a novel repetitive scheduling model for solving RCRSP with soft logic.Design/methodology/approachIn this paper, a constraint programming model …”
Volltext

A Constraint-Based Declarative Programming Framework for Scheduling and Resource Allocation Problems von Wikarek, Jarosław, Sitek, Paweł

“… In practice, however, classical scheduling problems with fixed structures and standard constraints …”
Volltext