This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n18http://purl.org/net/nknouf/ns/bibtex#
n17http://localhost/temp/predkladatel/
n20http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n12http://linked.opendata.cz/resource/domain/vavai/projekt/
n19http://linked.opendata.cz/ontology/domain/vavai/
n21http://linked.opendata.cz/resource/domain/vavai/zamer/
n8https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F08%3A00100414%21RIV09-MSM-11320___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F08%3A00100414%21RIV09-MSM-11320___
rdf:type
skos:Concept n19:Vysledek
dcterms:description
This chapter gives an introduction to mainstream constraint satisfaction techniques available in existing constraint solvers and answers the question 'How does constraint satisfaction work?'. The focus of the chapter is on techniques of constraint propagation, depth-first search, and their integration. It explains backtracking, its drawbacks, and how to remove these drawbacks by methods such as backjumping and backmarking. Then, the focus is on consistency techniques; it explains methods such as arc and path consistency and introduces consistencies of higher level. It also presents how consistency techniques are integrated with depth-first search algorithms in a look-ahead concept and what value and variable ordering heuristics are available there. Finally, techniques for optimization with constraints are presented. This chapter gives an introduction to mainstream constraint satisfaction techniques available in existing constraint solvers and answers the question 'How does constraint satisfaction work?'. The focus of the chapter is on techniques of constraint propagation, depth-first search, and their integration. It explains backtracking, its drawbacks, and how to remove these drawbacks by methods such as backjumping and backmarking. Then, the focus is on consistency techniques; it explains methods such as arc and path consistency and introduces consistencies of higher level. It also presents how consistency techniques are integrated with depth-first search algorithms in a look-ahead concept and what value and variable ordering heuristics are available there. Finally, techniques for optimization with constraints are presented. Kapitola podává přehled o hlavních technikách splňování omezujících podmínek.
dcterms:title
Principy zpracování podmínek Principles of Constraint Processing Principles of Constraint Processing
skos:prefLabel
Principles of Constraint Processing Principles of Constraint Processing Principy zpracování podmínek
skos:notation
RIV/00216208:11320/08:00100414!RIV09-MSM-11320___
n3:aktivita
n11:P n11:Z
n3:aktivity
P(1M0545), P(GA201/07/0205), P(GA201/08/0509), Z(MSM0021620838)
n3:dodaniDat
n16:2009
n3:domaciTvurceVysledku
n20:8318573
n3:druhVysledku
n4:C
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n13:predkladatel
n3:idSjednocenehoVysledku
389379
n3:idVysledku
RIV/00216208:11320/08:00100414
n3:jazykVysledku
n6:eng
n3:klicovaSlova
Principles; Constraint; Processing
n3:klicoveSlovo
n10:Principles n10:Processing n10:Constraint
n3:kontrolniKodProRIV
[2D5B1818E590]
n3:mistoVydani
Hershey, USA
n3:nazevEdiceCisloSvazku
1
n3:nazevZdroje
Artificial Intelligence for Advanced Problem Solving Techniques
n3:obor
n9:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetStranKnihy
388
n3:pocetTvurcuVysledku
1
n3:projekt
n12:GA201%2F08%2F0509 n12:GA201%2F07%2F0205 n12:1M0545
n3:rokUplatneniVysledku
n16:2008
n3:tvurceVysledku
Barták, Roman
n3:zamer
n21:MSM0021620838
s:numberOfPages
44
n18:hasPublisher
Idea Group
n8:isbn
978-1-59904-705-8
n17:organizacniJednotka
11320