Letteratura scientifica selezionata sul tema "Constraint programming"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Constraint programming".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Constraint programming"
APT, KRZYSZTOF R., e ERIC MONFROY. "Constraint programming viewed as rule-based programming". Theory and Practice of Logic Programming 1, n. 6 (novembre 2001): 713–50. http://dx.doi.org/10.1017/s1471068401000072.
Testo completoVan Hentenryck, Pascal, Laurent Michel e Frédéric Benhamou. "Constraint programming over nonlinear constraints". Science of Computer Programming 30, n. 1-2 (gennaio 1998): 83–118. http://dx.doi.org/10.1016/s0167-6423(97)00008-7.
Testo completoO'Sullivan, Barry. "Automated Modelling and Solving in Constraint Programming". Proceedings of the AAAI Conference on Artificial Intelligence 24, n. 1 (5 luglio 2010): 1493–97. http://dx.doi.org/10.1609/aaai.v24i1.7530.
Testo completoDao, Thi-Bich-Hanh, Khanh-Chuong Duong e Christel Vrain. "Constrained clustering by constraint programming". Artificial Intelligence 244 (marzo 2017): 70–94. http://dx.doi.org/10.1016/j.artint.2015.05.006.
Testo completoSCHRIJVERS, TOM, PETER STUCKEY e PHILIP WADLER. "Monadic constraint programming". Journal of Functional Programming 19, n. 6 (14 agosto 2009): 663–97. http://dx.doi.org/10.1017/s0956796809990086.
Testo completoMattenet, Alex, Ian Davidson, Siegfried Nijssen e Pierre Schaus. "Generic Constraint-based Block Modeling using Constraint Programming". Journal of Artificial Intelligence Research 70 (9 febbraio 2021): 597–630. http://dx.doi.org/10.1613/jair.1.12280.
Testo completoDincbas, M. "Constraint programming". ACM Computing Surveys 28, n. 4es (dicembre 1996): 62. http://dx.doi.org/10.1145/242224.242303.
Testo completoVan Hentenryck, Pascal. "Constraint programming". ACM SIGSOFT Software Engineering Notes 25, n. 1 (gennaio 2000): 89–90. http://dx.doi.org/10.1145/340855.341036.
Testo completoBooth, Kyle E. C., Bryan O'Gorman, Jeffrey Marshall, Stuart Hadfield e Eleanor Rieffel. "Quantum-accelerated constraint programming". Quantum 5 (28 settembre 2021): 550. http://dx.doi.org/10.22331/q-2021-09-28-550.
Testo completoARIAS, JOAQUIN, MANUEL CARRO, ELMER SALAZAR, KYLE MARPLE e GOPAL GUPTA. "Constraint Answer Set Programming without Grounding". Theory and Practice of Logic Programming 18, n. 3-4 (luglio 2018): 337–54. http://dx.doi.org/10.1017/s1471068418000285.
Testo completoTesi sul tema "Constraint programming"
Duong, Khanh-Chuong. "Constrained clustering by constraint programming". Thesis, Orléans, 2014. http://www.theses.fr/2014ORLE2049/document.
Testo completoCluster analysis is an important task in Data Mining with hundreds of different approaches in the literature. Since the last decade, the cluster analysis has been extended to constrained clustering, also called semi-supervised clustering, so as to integrate previous knowledge on data to clustering algorithms. In this dissertation, we explore Constraint Programming (CP) for solving the task of constrained clustering. The main principles in CP are: (1) users specify declaratively the problem in a Constraint Satisfaction Problem; (2) solvers search for solutions by constraint propagation and search. Relying on CP has two main advantages: the declarativity, which enables to easily add new constraints and the ability to find an optimal solution satisfying all the constraints (when there exists one). We propose two models based on CP to address constrained clustering tasks. The models are flexible and general and supports instance-level constraints and different cluster-level constraints. It also allows the users to choose among different optimization criteria. In order to improve the efficiency, different aspects have been studied in the dissertation. Experiments on various classical datasets show that our models are competitive with other exact approaches. We show that our models can easily be embedded in a more general process and we illustrate this on the problem of finding the Pareto front of a bi-criterion optimization process
Achterberg, Tobias. "Constraint integer programming /". München : Verl. Dr. Hut, 2008. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017108806&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Testo completoAchterberg, Tobias. "Constraint integer programming". München Verl. Dr. Hut, 2007. http://d-nb.info/992163366/04.
Testo completoJefferson, Christopher. "Representations in constraint programming". Thesis, University of York, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445465.
Testo completoMcDonald, Iain. "Symmetry in constraint programming". Thesis, University of St Andrews, 2004. http://hdl.handle.net/10023/14983.
Testo completoBackeman, Peter. "Propagating the nVector Constraint : Haplotype Inference using Constraint Programming". Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-211862.
Testo completoHnich, Brahim. "Function Variables for Constraint Programming". Doctoral thesis, Uppsala University, Department of Information Science, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3143.
Testo completoQuite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. Second, we propose a general way of describing these patterns by introducing proper constructs that would cover a wide range of applications. Third, we propose automating the process of reproducing these idioms from these higher-level descriptions. The whole process can be seen as a way of encapsulating some of the expertise and knowledge often used by CP modelers and making it available in much simpler forms. Doing so, we are able to extend current CP languages with high-level abstractions that open doors for automation of some of the modelling processes.
In particular, we introduce function variables and allow the statement of constraints on these variables using function operations. A function variable is a decision variable that can take a value from a set of functions as opposed to an integer variable that ranges over integers, or a set variable that ranges over a set of sets. We show that a function variable can be mapped into different representations in terms of integer and set variables, and illustrate how to map constraints stated on a function variable into constraints on integer and set variables. As a result, a function model expressed using function variables opens doors to the automatic generation of alternate CP models. These alternate models either use a different variable representation, or have extra implied constraints, or employ different constraint formulation, or combine different models that are linked using channelling constraints. A number of heuristics are also developed that allow the comparison of different constraint formulations. Furthermore, we present an extensive theoretical comparison of models of injection problems supported by asymptotic and empirical studies. Finally, a practical modelling tool that is built based on a high-level language that allows function variables is presented and evaluated. The tool helps users explore different alternate CP models starting from a function model that is easier to develop, understand, and maintain.
Jägare, Peter. "Airspace Sectorisation using Constraint Programming". Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-155783.
Testo completoOlive, Xavier. "Symmetries in Distributed Constraint Programming". 京都大学 (Kyoto University), 2011. http://hdl.handle.net/2433/142134.
Testo completoWetsel, Gerhard. "Abductive and constraint logic programming". Thesis, Imperial College London, 1997. http://hdl.handle.net/10044/1/7212.
Testo completoLibri sul tema "Constraint programming"
Mayoh, Brian, Enn Tyugu e Jaan Penjam, a cura di. Constraint Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0.
Testo completoSchulte, Christian, a cura di. Programming Constraint Services. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45945-6.
Testo completoAchterberg, Tobias. Constraint integer programming. Mu nchen: Verl. Dr. Hut, 2007.
Cerca il testo completoSaraswat, Vijay. Concurrent constraint programming. London, England: MIT Press, 1993.
Cerca il testo completoApt, Krzysztof R. Principles of constraint programming. Cambridge: Cambridge University Press, 2010.
Cerca il testo completo1962-, Rossi Francesca, Van Beek Peter e Walsh Toby, a cura di. Handbook of constraint programming. Amsterdam: Elsevier, 2007.
Cerca il testo completoAssayag, Gérard, e Charlotte Truchet. Constraint programming in music. Hoboken, NJ: John Wiley & Sons, 2011.
Cerca il testo completoFrühwirth, Thom. Essentials of Constraint Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.
Cerca il testo completoDistributed constraint logic programming. Singapore: World Scientific, 1993.
Cerca il testo completoBenhamou, Frdric, Narendra Jussien e Barry O'Sullivan, a cura di. Trends in Constraint Programming. London, UK: ISTE, 2007. http://dx.doi.org/10.1002/9780470612309.
Testo completoCapitoli di libri sul tema "Constraint programming"
Borning, Alan, Bjorn Freeman-Benson e Molly Wilson. "Constraint Hierarchies". In Constraint Programming, 75–115. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_4.
Testo completoMayoh, Brian, Enn Tyugu e Tarmo Uustalu. "Constraint Satisfaction and Constraint Programming: A Brief Lead-In". In Constraint Programming, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_1.
Testo completoPalmgren, Erik. "Denotational Semantics of Constraint Logic Programming — A Nonstandard Approach". In Constraint Programming, 261–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_10.
Testo completoMints, Grigori. "Resolution Strategies for the Intuitionistic Logic". In Constraint Programming, 289–311. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_11.
Testo completoLopez, Gus, Bjorn Freeman-Benson e Alan Borning. "Kaleidoscope: A Constraint Imperative Programming Language". In Constraint Programming, 313–29. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_12.
Testo completoPenjam, Jaan, e Enn Tyugu. "Constraints in NUT". In Constraint Programming, 330–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_13.
Testo completoHyvőnen, Eero, Stefano De Pascale e Aarno Lehtola. "Interval Constraint Programming in C++". In Constraint Programming, 350–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_14.
Testo completoSaraswat, Vijay, Radha Jagadeesan e Vinheet Gupta. "Programming in Timed Concurrent Constraint Languages". In Constraint Programming, 367–413. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_15.
Testo completoJanson, Sverker, e Seif Haridi. "An Introduction to AKL A Multi-Paradigm Programming Language". In Constraint Programming, 414–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_16.
Testo completoMayoh, Brian. "Constraint Programming and Artificial Intelligence". In Constraint Programming, 17–50. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_2.
Testo completoAtti di convegni sul tema "Constraint programming"
Jaffar, J., e J. L. Lassez. "Constraint logic programming". In the 14th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/41625.41635.
Testo completoJagadeesan, Radha, e Will Marrero. "Timed constraint programming". In the 7th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1069774.1069790.
Testo completoDi Pierro, Alessandra, e Herbert Wiklicky. "Concurrent constraint programming". In the 2nd ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/351268.351284.
Testo completoSaraswat, Vijay A., e Martin Rinard. "Concurrent constraint programming". In the 17th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/96709.96733.
Testo completoPothitos, Nikolaos, e Panagiotis Stamatopoulos. "Constraint Programming MapReduce'd". In SETN '16: 9th Hellenic Conference on Artificial Intelligence. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2903220.2903248.
Testo completoHemmi, David. "Stochastic Constraint Programming". In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/751.
Testo completoFang, Cheng. "Efficient Algorithms And Representations For Chance-constrained Mixed Constraint Programming". In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/749.
Testo completoChenouard, Raphaël, Laurent Granvilliers e Ricardo Soto. "Model-driven constraint programming". In the 10th international ACM SIGPLAN symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1389449.1389479.
Testo completoLin, Shu, Na Meng e Wenxin Li. "Optimizing Constraint Solving via Dynamic Programming". In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/160.
Testo completoJing Gong e Jiaqi Ji. "Integration of Constraint Programming and mathematical programming". In 2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010). IEEE, 2010. http://dx.doi.org/10.1109/icacte.2010.5579785.
Testo completoRapporti di organizzazioni sul tema "Constraint programming"
Gupta, Nitesh. Constraint Programming Using Multi-Valued Decision Diagrams. Ames (Iowa): Iowa State University, gennaio 2019. http://dx.doi.org/10.31274/cc-20240624-418.
Testo completoBROWN UNIV PROVIDENCE RI. Workshop on Principles and Practice of Constraint Programming (1st) Held in Newport, Rhode Island on 28-30 April 1993. Fort Belvoir, VA: Defense Technical Information Center, aprile 1993. http://dx.doi.org/10.21236/ada281201.
Testo completoAit-Kaci, Hassan, e Andreas Podelski. Position Papers for the First Workshop on Principles and Practice of Constraint Programming Held in Newport, Rhode Island on April 28-30, 1993. Fort Belvoir, VA: Defense Technical Information Center, aprile 1993. http://dx.doi.org/10.21236/ada281497.
Testo completoAriyawansa, K. A., e Yuntao Zhu. Chance-Constrained Semidefinite Programming. Fort Belvoir, VA: Defense Technical Information Center, gennaio 2000. http://dx.doi.org/10.21236/ada530454.
Testo completoDay, William B. Constraints Logic Programming in Knowledge-Based Planning Domains. Fort Belvoir, VA: Defense Technical Information Center, dicembre 1992. http://dx.doi.org/10.21236/ada262958.
Testo completoVAN BLOEMEN WAANDERS, BART G., ROSCOE A. BARTLETT, KEVIN R. LONG, PAUL T. BOGGS e ANDREW G. SALINGER. Large Scale Non-Linear Programming for PDE Constrained Optimization. Office of Scientific and Technical Information (OSTI), ottobre 2002. http://dx.doi.org/10.2172/805833.
Testo completoBoggs, P. T., J. W. Tolle e A. J. Kearsley. A merit function for inequality constrained nonlinear programming problems. Gaithersburg, MD: National Institute of Standards and Technology, 1991. http://dx.doi.org/10.6028/nist.ir.4702.
Testo completoDennis, John E., Tapia Jr., Torczon Richard A. e Virginia J. Some Issues in Nonlinear Programming Algorithms for Problems with Simulation Constraints. Fort Belvoir, VA: Defense Technical Information Center, aprile 1995. http://dx.doi.org/10.21236/ada294932.
Testo completoThorpe, Jodie, Alisha Ault, Iana Barenboim, Luize Guimarães, Evert-jan Quak e Katia Taela. Learning from Entrepreneurship Programming for Women’s Economic Empowerment. Institute of Development Studies, giugno 2023. http://dx.doi.org/10.19088/muva.2023.001.
Testo completoSembler, Jose Ignacio, Diether Beuermann, Carlos Elías e Cheryl Gray. IDB-9: Country Programming. Inter-American Development Bank, marzo 2013. http://dx.doi.org/10.18235/0010515.
Testo completo