A unified approach to solving seven programming problems (functional pearl)

Autor: Matthew Might, Michael Ballantyne, William E. Byrd, Gregory Rosenblatt

Publikováno v: Proceedings of the ACM on Programming Languages. 1:1-26

We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::946c19893f62f88079f8931f4f7dbf14
https://doi.org/10.1145/3110252

A global constraint for over-approximation of real-time streams

Autor: Anicet Bart, Eric Monfroy, Charlotte Truchet

Publikováno v: Constraints
Constraints, Springer Verlag, 2017, 22 (3), pp.463-490. ⟨10.1007/s10601-017-9268-z⟩

Formal verification of real time programs, where variables can change values at every time step, is difficult due to the analyses of loops with time lags. In this paper, we propose a constraint programming model together with a global constraint and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1518ea42b19824c289073906017a5299
https://doi.org/10.1007/s10601-017-9268-z

Using autonomous search for solving constraint satisfaction problems via new modern approaches

Autor: Fernando Paredes, Cristian Galleguillos, Rodrigo Olivares, Enrique Norero, Ricardo Soto, Carlos Castro, Franklin Johnson, Broderick Crawford

Publikováno v: Swarm and Evolutionary Computation. 30:64-77

Constraint Programming is a powerful paradigm which allows the resolution of many complex problems, such as scheduling, planning, and configuration. These problems are defined by a set of variables and a set of constraints. Each variable has non-empt

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ddeb4483ab27c56187ed0a9457946fc9
https://doi.org/10.1016/j.swevo.2016.04.003

Karma modelli tip-2 montaj hattı dengeleme problemi için bir kısıt programlama modeli

Autor: Mustafa Yuzukirmizi, Bilal Toklu, Hacı Mehmet Alağaş, Mehmet Pınarbaşı

Publikováno v: Pamukkale University Journal of Engineering Sciences, Vol 22, Iss 4, Pp 340-348 (2016)
Volume: 22, Issue: 4 340-348
Pamukkale Üniversitesi Mühendislik Bilimleri Dergisi

This paper presents a new constraint programming model for mixed-model assembly line balancing problem. The proposed model minimizes the cycle time for a given number of stations. The proposed model is tested with literature problems and its performa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e00c2617f4beb4c7b02a0e2fc70405c
https://doi.org/10.5505/pajes.2016.93276

Constraint Programming and Decision Making: Theory and Applications

Autor: Martine Ceberio, Vladik Kreinovich

Publikováno v: Studies in Systems, Decision and Control ISBN: 9783319617527
Constraint Programming and Decision Making: Theory and Applications

Why Deep Neural Networks: A Possible Theoretical Explanation.- From Global to Local Constraints: A Constructive Version of Bloch's Principle -- Algebraic Product is the Only t-Norm for Which Optimization Under Fuzzy Constraints is Scale-Invariant.- A

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c2981f7ddef7d1bea3c40be3b5a32f35
https://doi.org/10.1007/978-3-319-61753-4