Literatura académica sobre el tema "Constraint programming"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Constraint programming".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Constraint programming"
APT, KRZYSZTOF R. y ERIC MONFROY. "Constraint programming viewed as rule-based programming". Theory and Practice of Logic Programming 1, n.º 6 (noviembre de 2001): 713–50. http://dx.doi.org/10.1017/s1471068401000072.
Texto completoVan Hentenryck, Pascal, Laurent Michel y Frédéric Benhamou. "Constraint programming over nonlinear constraints". Science of Computer Programming 30, n.º 1-2 (enero de 1998): 83–118. http://dx.doi.org/10.1016/s0167-6423(97)00008-7.
Texto completoO'Sullivan, Barry. "Automated Modelling and Solving in Constraint Programming". Proceedings of the AAAI Conference on Artificial Intelligence 24, n.º 1 (5 de julio de 2010): 1493–97. http://dx.doi.org/10.1609/aaai.v24i1.7530.
Texto completoDao, Thi-Bich-Hanh, Khanh-Chuong Duong y Christel Vrain. "Constrained clustering by constraint programming". Artificial Intelligence 244 (marzo de 2017): 70–94. http://dx.doi.org/10.1016/j.artint.2015.05.006.
Texto completoSCHRIJVERS, TOM, PETER STUCKEY y PHILIP WADLER. "Monadic constraint programming". Journal of Functional Programming 19, n.º 6 (14 de agosto de 2009): 663–97. http://dx.doi.org/10.1017/s0956796809990086.
Texto completoMattenet, Alex, Ian Davidson, Siegfried Nijssen y Pierre Schaus. "Generic Constraint-based Block Modeling using Constraint Programming". Journal of Artificial Intelligence Research 70 (9 de febrero de 2021): 597–630. http://dx.doi.org/10.1613/jair.1.12280.
Texto completoDincbas, M. "Constraint programming". ACM Computing Surveys 28, n.º 4es (diciembre de 1996): 62. http://dx.doi.org/10.1145/242224.242303.
Texto completoVan Hentenryck, Pascal. "Constraint programming". ACM SIGSOFT Software Engineering Notes 25, n.º 1 (enero de 2000): 89–90. http://dx.doi.org/10.1145/340855.341036.
Texto completoBooth, Kyle E. C., Bryan O'Gorman, Jeffrey Marshall, Stuart Hadfield y Eleanor Rieffel. "Quantum-accelerated constraint programming". Quantum 5 (28 de septiembre de 2021): 550. http://dx.doi.org/10.22331/q-2021-09-28-550.
Texto completoARIAS, JOAQUIN, MANUEL CARRO, ELMER SALAZAR, KYLE MARPLE y GOPAL GUPTA. "Constraint Answer Set Programming without Grounding". Theory and Practice of Logic Programming 18, n.º 3-4 (julio de 2018): 337–54. http://dx.doi.org/10.1017/s1471068418000285.
Texto completoTesis sobre el tema "Constraint programming"
Duong, Khanh-Chuong. "Constrained clustering by constraint programming". Thesis, Orléans, 2014. http://www.theses.fr/2014ORLE2049/document.
Texto 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.
Texto completoAchterberg, Tobias. "Constraint integer programming". München Verl. Dr. Hut, 2007. http://d-nb.info/992163366/04.
Texto completoJefferson, Christopher. "Representations in constraint programming". Thesis, University of York, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445465.
Texto completoMcDonald, Iain. "Symmetry in constraint programming". Thesis, University of St Andrews, 2004. http://hdl.handle.net/10023/14983.
Texto 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.
Texto 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.
Texto 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.
Texto completoOlive, Xavier. "Symmetries in Distributed Constraint Programming". 京都大学 (Kyoto University), 2011. http://hdl.handle.net/2433/142134.
Texto completoWetsel, Gerhard. "Abductive and constraint logic programming". Thesis, Imperial College London, 1997. http://hdl.handle.net/10044/1/7212.
Texto completoLibros sobre el tema "Constraint programming"
Mayoh, Brian, Enn Tyugu y Jaan Penjam, eds. Constraint Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0.
Texto completoSchulte, Christian, ed. Programming Constraint Services. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45945-6.
Texto completoAchterberg, Tobias. Constraint integer programming. Mu nchen: Verl. Dr. Hut, 2007.
Buscar texto completoSaraswat, Vijay. Concurrent constraint programming. London, England: MIT Press, 1993.
Buscar texto completoApt, Krzysztof R. Principles of constraint programming. Cambridge: Cambridge University Press, 2010.
Buscar texto completo1962-, Rossi Francesca, Van Beek Peter y Walsh Toby, eds. Handbook of constraint programming. Amsterdam: Elsevier, 2007.
Buscar texto completoAssayag, Gérard y Charlotte Truchet. Constraint programming in music. Hoboken, NJ: John Wiley & Sons, 2011.
Buscar texto completoFrühwirth, Thom. Essentials of Constraint Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.
Buscar texto completoDistributed constraint logic programming. Singapore: World Scientific, 1993.
Buscar texto completoBenhamou, Frdric, Narendra Jussien y Barry O'Sullivan, eds. Trends in Constraint Programming. London, UK: ISTE, 2007. http://dx.doi.org/10.1002/9780470612309.
Texto completoCapítulos de libros sobre el tema "Constraint programming"
Borning, Alan, Bjorn Freeman-Benson y Molly Wilson. "Constraint Hierarchies". En Constraint Programming, 75–115. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_4.
Texto completoMayoh, Brian, Enn Tyugu y Tarmo Uustalu. "Constraint Satisfaction and Constraint Programming: A Brief Lead-In". En Constraint Programming, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_1.
Texto completoPalmgren, Erik. "Denotational Semantics of Constraint Logic Programming — A Nonstandard Approach". En Constraint Programming, 261–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_10.
Texto completoMints, Grigori. "Resolution Strategies for the Intuitionistic Logic". En Constraint Programming, 289–311. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_11.
Texto completoLopez, Gus, Bjorn Freeman-Benson y Alan Borning. "Kaleidoscope: A Constraint Imperative Programming Language". En Constraint Programming, 313–29. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_12.
Texto completoPenjam, Jaan y Enn Tyugu. "Constraints in NUT". En Constraint Programming, 330–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_13.
Texto completoHyvőnen, Eero, Stefano De Pascale y Aarno Lehtola. "Interval Constraint Programming in C++". En Constraint Programming, 350–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_14.
Texto completoSaraswat, Vijay, Radha Jagadeesan y Vinheet Gupta. "Programming in Timed Concurrent Constraint Languages". En Constraint Programming, 367–413. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_15.
Texto completoJanson, Sverker y Seif Haridi. "An Introduction to AKL A Multi-Paradigm Programming Language". En Constraint Programming, 414–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_16.
Texto completoMayoh, Brian. "Constraint Programming and Artificial Intelligence". En Constraint Programming, 17–50. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_2.
Texto completoActas de conferencias sobre el tema "Constraint programming"
Jaffar, J. y J. L. Lassez. "Constraint logic programming". En the 14th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/41625.41635.
Texto completoJagadeesan, Radha y Will Marrero. "Timed constraint programming". En the 7th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1069774.1069790.
Texto completoDi Pierro, Alessandra y Herbert Wiklicky. "Concurrent constraint programming". En the 2nd ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/351268.351284.
Texto completoSaraswat, Vijay A. y Martin Rinard. "Concurrent constraint programming". En the 17th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/96709.96733.
Texto completoPothitos, Nikolaos y Panagiotis Stamatopoulos. "Constraint Programming MapReduce'd". En SETN '16: 9th Hellenic Conference on Artificial Intelligence. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2903220.2903248.
Texto completoHemmi, David. "Stochastic Constraint Programming". En 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.
Texto completoFang, Cheng. "Efficient Algorithms And Representations For Chance-constrained Mixed Constraint Programming". En 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.
Texto completoChenouard, Raphaël, Laurent Granvilliers y Ricardo Soto. "Model-driven constraint programming". En the 10th international ACM SIGPLAN symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1389449.1389479.
Texto completoLin, Shu, Na Meng y Wenxin Li. "Optimizing Constraint Solving via Dynamic Programming". En 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.
Texto completoJing Gong y Jiaqi Ji. "Integration of Constraint Programming and mathematical programming". En 2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010). IEEE, 2010. http://dx.doi.org/10.1109/icacte.2010.5579785.
Texto completoInformes sobre el tema "Constraint programming"
Gupta, Nitesh. Constraint Programming Using Multi-Valued Decision Diagrams. Ames (Iowa): Iowa State University, enero de 2019. http://dx.doi.org/10.31274/cc-20240624-418.
Texto 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, abril de 1993. http://dx.doi.org/10.21236/ada281201.
Texto completoAit-Kaci, Hassan y 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, abril de 1993. http://dx.doi.org/10.21236/ada281497.
Texto completoAriyawansa, K. A. y Yuntao Zhu. Chance-Constrained Semidefinite Programming. Fort Belvoir, VA: Defense Technical Information Center, enero de 2000. http://dx.doi.org/10.21236/ada530454.
Texto completoDay, William B. Constraints Logic Programming in Knowledge-Based Planning Domains. Fort Belvoir, VA: Defense Technical Information Center, diciembre de 1992. http://dx.doi.org/10.21236/ada262958.
Texto completoVAN BLOEMEN WAANDERS, BART G., ROSCOE A. BARTLETT, KEVIN R. LONG, PAUL T. BOGGS y ANDREW G. SALINGER. Large Scale Non-Linear Programming for PDE Constrained Optimization. Office of Scientific and Technical Information (OSTI), octubre de 2002. http://dx.doi.org/10.2172/805833.
Texto completoBoggs, P. T., J. W. Tolle y 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.
Texto completoDennis, John E., Tapia Jr., Torczon Richard A. y Virginia J. Some Issues in Nonlinear Programming Algorithms for Problems with Simulation Constraints. Fort Belvoir, VA: Defense Technical Information Center, abril de 1995. http://dx.doi.org/10.21236/ada294932.
Texto completoThorpe, Jodie, Alisha Ault, Iana Barenboim, Luize Guimarães, Evert-jan Quak y Katia Taela. Learning from Entrepreneurship Programming for Women’s Economic Empowerment. Institute of Development Studies, junio de 2023. http://dx.doi.org/10.19088/muva.2023.001.
Texto completoSembler, Jose Ignacio, Diether Beuermann, Carlos Elías y Cheryl Gray. IDB-9: Country Programming. Inter-American Development Bank, marzo de 2013. http://dx.doi.org/10.18235/0010515.
Texto completo