Books on the topic 'Constraint satisfaction'

To see the other types of publications on this topic, follow the link: Constraint satisfaction.

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Constraint satisfaction.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Ghédira, Khaled, and Bernard Dubuisson, eds. Constraint Satisfaction Problems. Hoboken, NJ USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118574522.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Yokoo, Makoto. Distributed Constraint Satisfaction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59546-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tsang, Edward. Foundations of constraint satisfaction. Colchester: The author, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jermann, Christophe, Arnold Neumaier, and Djamila Sam, eds. Global Optimization and Constraint Satisfaction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b136292.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bliek, Christian, Christophe Jermann, and Arnold Neumaier, eds. Global Optimization and Constraint Satisfaction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b94062.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hentenryck, Pascal Van. Constraint satisfaction in logic programming. Cambridge, Mass: MIT Press, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Petke, Justyna. Bridging Constraint Satisfaction and Boolean Satisfiability. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21810-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hyafil, Nathanael. Probabilistic planning with constraint satisfaction techniques. Ottawa: National Library of Canada, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Güsgen, Hans Werner. CONSAT: A system for constraint satisfaction. London: Pitman, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Güsgen, Hans Werner. CONSAT: A system for constraint satisfaction. London: Pitman, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
11

Derthick, Mark. Mundane reasoning by parallel constraint satisfaction. London: Pitman, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

Beck, John Christopher. A schema for constraint relaxation with instantiations for partial constraints partial constraint satisfaction and schedule optimization. Ottawa: National Library of Canada, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

Živný, Stanislav. The Complexity of Valued Constraint Satisfaction Problems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33974-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Creignou, Nadia. Complexity classifications of Boolean constraint satisfaction problems. Philadelphia: Society for Industrial and Applied Mathematics, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

Hjerpe, Torkel. High-level specification and efficient solving of constraint satisfaction problems. Uppsala: Computing Science Dept., Uppsala University, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

A. S. Janet van der Linden. Dynamic meta-constraints: An approach to dealing with non-standard constraint satisfaction problems. Oxford: Oxford Brookes University, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
17

Beck, John Christopher. A schema for constraint relaxation with instantiations for partial constraint satisfaction and schedule optimization. Toronto: University of Toronto, Dept. of Computer Science, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
18

Wahbi, Mohamed. Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems. Hoboken, NJ USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118753620.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Wahbi, Mohamed. Algorithms and ordering heuristics for distributed constraint satisfaction problems. London, UK: ISTE, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
20

1963-, Bliek Christian, Jermann Christophe 1975-, and Neumaier A, eds. Global optimization and constraint satisfaction: First international workshop global constraint optimization and constraint satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002 : revised selected papers. Berlin: Springer-Verlag, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

1975-, Jermann Christophe, Neumaier A, and Sam Djamila, eds. Global optimization and constraint satisfaction: Second international workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers. Berlin: Springer, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
22

Miguel, Ian. Dynamic flexible constraint satisfaction and its application to AI planning. London: Springer, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

Miguel, Ian. Dynamic Flexible Constraint Satisfaction and its Application to AI Planning. London: Springer London, 2004. http://dx.doi.org/10.1007/978-0-85729-378-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Miguel, Ian. Dynamic Flexible Constraint Satisfaction and its Application to AI Planning. London: Springer London, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

Yokoo, Makoto. Distributed Constraint Satisfaction: Foundations of Cooperation in Multi-agent Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

Kubica, Bartłomiej Jacek. Interval Methods for Solving Nonlinear Constraint Satisfaction, Optimization and Similar Problems. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-13795-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Nachtsheim, Philip R. A technique for solving constraint satisfaction problems using Prolog's definite clause grammars. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
28

Steven, Minton, and Ames Research Center. Artificial Intelligence Research Branch., eds. Minimizing conflicts: A heuristic repair model for constraint-satisfaction and scheduling problems. [Moffett Field, Calif.]: NASA, Ames Research Center, Artificial Intelligence Research Branch, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

Steven, Minton, and Ames Research Center. Artificial Intelligence Research Branch., eds. Minimizing conflicts: A heuristic repair model for constraint-satisfaction and scheduling problems. [Moffett Field, Calif.]: NASA, Ames Research Center, Artificial Intelligence Research Branch, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

Timmer, Adwin H. From design space exploration to code generation: A constraint satisfaction approach for the architectural synthesis of digital VLSI circuits : proefschrift / door Adwin H. Timmer. [S.l: s.n.,], 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

Distributed Constraint Satisfaction. Island Press, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

Foundations of Constraint Satisfaction. Elsevier, 1993. http://dx.doi.org/10.1016/c2013-0-07627-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Foundations of Constraint Satisfaction. Books on Demand GmbH, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
34

Golan, Amos. Causal Inference via Constraint Satisfaction. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199349524.003.0011.

Full text
Abstract:
In this chapter I introduce a number of ideas connected to causal inference that are inherently connected to info-metrics. In the context of this chapter, causal inference means the causality inferred from the available information. I begin by introducing and examining nonmonotonic and default logics, which were developed to deal with extremely high conditional probabilities. Other facets of info-metrics and causal inference are then discussed. I also show the direct effect of the complete set of input information on the inferred solution. I conclude the chapter with a detailed Markov example providing a more traditional approach to causal inference, developed within the info-metrics framework. The example builds on the notion of exogeneity and demonstrates that the info-metrics framework provides a simple way of incorporating additional exogenous information, thereby opening the way for empirical testing of causal inference. A short summary of the notion of “pure” causality is also provided.
APA, Harvard, Vancouver, ISO, and other styles
35

Arnold Neumaier,Christophe Jermann,Djamila Sam. Global Optimization and Constraint Satisfaction. Springer, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
36

Constraint satisfaction-aided plan recognition. 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

Petke, Justyna. Bridging Constraint Satisfaction and Boolean Satisfiability. Springer, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
38

Bodirsky, Manuel. Complexity of Infinite-Domain Constraint Satisfaction. University of Cambridge ESOL Examinations, 2021.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

Petke, Justyna. Bridging Constraint Satisfaction and Boolean Satisfiability. Springer, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

Bodirsky, Manuel. Complexity of Infinite-Domain Constraint Satisfaction. University of Cambridge ESOL Examinations, 2021.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

ivný, Stanislav. Complexity of Valued Constraint Satisfaction Problems. Springer, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

Mitchell, David Geoffrey. The resolution complexity of constraint satisfaction. 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
43

Petke, Justyna. Bridging Constraint Satisfaction and Boolean Satisfiability. Springer, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

Neagu, Nicoleta. Constraint Satisfaction Techniques for Agent-Based Reasoning. Birkhauser Verlag, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

Ghedira, Khaled. Constraint Satisfaction Problems: CSP Formalisms and Techniques. Wiley & Sons, Incorporated, John, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

Zivný, Stanislav. The Complexity of Valued Constraint Satisfaction Problems. Springer, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

Ghedira, Khaled. Constraint Satisfaction Problems: CSP Formalisms and Techniques. Wiley & Sons, Limited, John, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

Constraint Satisfaction Techniques for Agent-Based Reasoning. Basel: Birkhäuser-Verlag, 2005. http://dx.doi.org/10.1007/b137139.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Ghedira, Khaled. Constraint Satisfaction Problems: CSP Formalisms and Techniques. Wiley & Sons, Incorporated, John, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

Cambridge, University of, ed. Constraint specification and satisfaction in embodiment design. 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography