Search Results - login AND constraint programming keywords constraint programming~

Solving multi-scenario hybrid flow shop scheduling problem based on an improved probe machine model.

Authors: Tian, Xiang Kong, Yang Liu, Xiyu

Source: PLoS ONE; 9/3/2025, Vol. 20 Issue 9, p1-39, 39p

Subject Terms: FLOW shop scheduling, COMBINATORIAL optimization, DATA libraries, MANUFACTURING industries, SCHEDULING, BENCHMARK problems (Computer science), CONSTRAINT programming

Applying Constraint Logic Programming to SQL Semantic Analysis.

Authors: SÁENZ-PÉREZ, FERNANDO

Source: Theory & Practice of Logic Programming; Sep2019, Vol. 19 Issue 5/6, p808-825, 18p

Subject Terms: CONSTRAINT programming, LOGIC programming, SQL, PLEONASM

Uma nova abordagem para o Problema de Balanceamento de Currículo Academico. (Portuguese)

Alternate Title: A new approach to the Balancing Academic Curriculum Problem. (English)
Una nueva aproximación al Problema de Balanceo de Currículo Académico. (Spanish)

Authors: Brás de Souza Lopes, Clayton Grijó Pitangui, Cristiano Pereira de Assis, Luciana et al.

Source: Revista Brasileira de Informática na Educação; 2023, Vol. 31, p631-658, 28p

Subject Terms: CONSTRAINT programming, QUADRATIC programming, INTEGER programming, WEB development, CURRICULUM

A Model‐Driven Framework for Gamification of Learning Introductory Programming.

Authors: Mousavi, Seyedeh Hasti Rahimi, Shekoufeh Kolahdouz Samimi Dehkordi, Leila et al.

Source: Human Behavior & Emerging Technologies; 9/29/2025, Vol. 2025, p1-19, 19p

Adaptive Personalized Learning System with Generative AI.

Authors: Parakh, Divyansh Lodha, Prerak C. N., Subalalitha

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p2612-2637, 26p

Subject Terms: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Authors: Gilles Pesant

Resource Type: eBook.

Subjects: Machine theory, Computer science—Mathematics, Artificial intelligence, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

Integrated Medical and Digital Approaches to Enhance Post-Bariatric Surgery Care: A Prototype-Based Evaluation of the NutriMonitCare System in a Controlled Setting.

Authors: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea et al.

Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.

Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Authors: Barry O'Sullivan

Resource Type: eBook.

Subjects: Machine theory, Computer science—Mathematics, Artificial intelligence, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

PiLLoW/CIAO Library for INTERNET/WWW Programming using Computational Logic Systems

Authors: Daniel Cabeza Manuel Hermenegildo Sacha Varma et al.

Contributors: Daniel Cabeza Manuel Hermenegildo Sacha Varma et al.

Source: http://www.clip.dia.fi.upm.es/miscdocs/pillow/article.ps.

Subject Terms: WWW, HTML, HTTP, Distributed Execution, Constraint) Logic Programming

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.2712; http://www.clip.dia.fi.upm.es/miscdocs/pillow/article.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.2712
http://www.clip.dia.fi.upm.es/miscdocs/pillow/article.ps

WEB.BM – a web-based river basin management model with multiple time-step optimization and the SSARR channel routing options.

Authors: Ilich, Nesa

Source: Hydrological Sciences Journal/Journal des Sciences Hydrologiques; Feb2022, Vol. 67 Issue 2, p175-190, 16p

Subject Terms: MIXED integer linear programming

Constraint and Integer Programming

Authors: Michela Milano

Resource Type: eBook.

Subjects: Compilers (Computer programs), Artificial intelligence, Mathematical optimization, Computer science, Operations research

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Operations Research, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, MATHEMATICS / Optimization

Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

Authors: Christian Bessiere

Resource Type: eBook.

Subjects: Constraint programming (Computer science)--Congr

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Advantages of Deferred Approach for Time-Critical Tasks.

Authors: Osipov, Pavel Borisov, Arkady

Source: Informatica; 2014, Vol. 25 Issue 3, p467-484, 18p

Subject Terms: BEHAVIOR, INFORMATION storage & retrieval systems, PYTHON programming language, PROGRAMMING languages, ELECTRONIC data processing, CONSTRAINT programming, APPLICATION servers (Computer software), MATHEMATICAL models

Message Passing for Distributed QoS-Security Tradeoffs†.

Authors: Mostafa, Hala Pal, Partha Hurley, Patrick

Source: Computer Journal; Jun2014, Vol. 57 Issue 6, p840-855, 16p

Subject Terms: INFORMATION assurance, DATA security, QUALITY of service, CONSTRAINT programming, ALGORITHMS

Using mathematical modeling for analysis of the impact of client choice on preventive healthcare facility network design.

Authors: Ershadi, Mohammad Mahdi Shemirani, Hossein Shams

Source: International Journal of Healthcare Management; Jun2021, Vol. 14 Issue 2, p588-602, 15p

Subject Terms: MATHEMATICAL analysis, HEALTH facilities, MIXED integer linear programming, MATHEMATICAL models, GENETIC programming

Geographic Terms: ISFAHAN (Iran)

The NCL Natural Constraint Language

Authors: Jianyang Zhou

Resource Type: eBook.

Subjects: Constraint programming (Computer science), Programming languages (Electronic computers), Mathematics--Data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Operations Research, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Ordering Constraints over Feature Trees.

Authors: Müller, Martin Niehren, Joachim Podelski, Andreas

Source: Constraints: An International Journal; Jan2000, Vol. 5 Issue 1/2, p7-41, 35p

Shop Chain: An Android Application Simplifying the Shopping Experience in Day-to-Day Life.

Authors: M., Vinay Kumar Noronha, Clinton Jude Vijay, Chirag et al.

Source: Journal of Advanced Zoology. 2023 Supplement, Vol. 44, p643-648. 6p.

Assistive Technology for Inclusive Education: A Single-Case Study of a Child with Spastic Tetraplegia, Visual and Motor Disabilities in Ecuador.

Authors: Campoverde-Molina, Milton Cobos-Torres, Juan-Carlos Luján-Mora, Sergio et al.

Source: International Journal of Online & Biomedical Engineering; 2025, Vol. 21 Issue 11, p45-65, 21p