Search Results - "finite domain Constraint Programming"

The proportional constraint and its pruning - continued

Authors: Wolf, Armin

Subject Terms: bounds consistency, finite domain Constraint Programming, fixed-point iteration, Proportional Ceiling Constraing, pruning rules, DDC::000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, DDC::600 Technik, Medizin, angewandte Wissenschaften::620 Ingenieurwissenschaften::627 Wasserbau

File Description: application/pdf

Relation: Gesellschaft für Informatik (Jahrestagung) 2022; #PLACEHOLDER_PARENT_METADATA_VALUE#; INFORMATIK 2022. Informatik in den Naturwissenschaften; Forschung und Entwicklung eines daten- und wissensbasierten Schleusenmanagement- und -informationssystems für den Nord-Ostsee-Kanal; 19F2119B; https://publica.fraunhofer.de/handle/publica/428003

Availability: https://publica.fraunhofer.de/handle/publica/428003
https://doi.org/10.18420/inf2022_142
https://doi.org/10.24406/h-428003

MODELING AND SOLVING SELF-REFERENTIAL PUZZLES

Authors: Maja Bubalo Mirko Čubrilo

Source: Journal of Information and Organizational Sciences, Vol 29, Iss 1 (2012)

Subject Terms: self-referential puzzles, logic programming, finite domain constraint programming, Mozart/Oz, Information theory, Q350-390

File Description: electronic resource

Relation: http://jios.foi.hr/index.php/jios/article/view/238; https://doaj.org/toc/1846-3312; https://doaj.org/toc/1846-9418

Access URL: https://doaj.org/article/6288aa43b5a14e9097e9ec63ced9794e

Modeling and solving self-referential puzzles

Authors: Bubalo, Maja Čubrilo, Mirko

Source: Journal of Information and Organizational Sciences ; ISSN 1846-9418 (Online) ; ISSN-L 1846-3312 ; Volume 29 ; Issue 1

Subject Terms: self-referential puzzles, logic programming, finite domain constraint programming, Mozart/Oz

File Description: application/pdf

Relation: https://hrcak.srce.hr/78211

Availability: https://hrcak.srce.hr/78211
https://hrcak.srce.hr/file/116277

The proportional constraint and its pruning

Authors: Wolf, Armin

Subject Terms: bounds consistency, finite domain constraint programming, fixed-point iteration, proportional constraint, pruning rule

Time: 004

Relation: Conference on Declarative Programming (DECLARE) 2017; International Conference on Applications of Declarative Programming and Knowledge Management (INAP) 2017; Workshop on Logic Programming (WLP) 2017; Workshop on Functional and (Constraint) Logic Programming (WFLP) 2017; Declarative Programming and Knowledge Management; WaveSave; 03ET1312A; https://publica.fraunhofer.de/handle/publica/402832

Availability: https://publica.fraunhofer.de/handle/publica/402832
https://doi.org/10.1007/978-3-030-00801-7_4

MODELING AND SOLVING SELF-REFERENTIAL PUZZLES

Authors: Bubalo, Maja Čubrilo, Mirko

Source: Journal of Information and Organizational Sciences; Vol. 29 No. 1 (2005) ; 1846-9418 ; 1846-3312

Subject Terms: self-referential puzzles, logic programming, finite domain constraint programming, Mozart/Oz

File Description: application/pdf

Relation: https://jios.foi.hr/index.php/jios/article/view/238/141; https://jios.foi.hr/index.php/jios/article/view/238

Availability: https://jios.foi.hr/index.php/jios/article/view/238

Modeling and solving self-referential puzzles

Authors: Maja Bubalo Mirko Čubrilo

Source: Journal of Information and Organizational Sciences; ISSN 1846-3312 (Print); ISSN 1846-9418 (Online); Volume 29; Issue 1

Index Terms: self-referential puzzles; logic programming; finite domain constraint programming; Mozart/Oz, text, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion