Cigler, Luděk - Search Results - Digital Repository

guest :: login Digital Repository
		Search		Submit		Help		About

Home > Search Results: Cigler, Luděk

Search:

Search Tips :: Advanced Search

Search collections:

Sort by:	Display results:	Output format:

	Constraint satisfaction for HW/SW verification Cigler, Luděk ; Barták, Roman (advisor) ; Vomlelová, Marta (referee) Constraint satisfaction techniques (CSP) are a powerful framework for modeling and solving various problems in artificial intelligence and operations research. Verification of HW and SW can profit from employing constraint satisfaction for test generation. The essential property of a CSP algorithm (wrt. test generation) is the uniform generation of solution samples. We present several algorithms for sampling solutions of a CSP and extend them so that they can be used for sampling solutions of CSP with preferences. We test the performance of our algorithms on various benchmark problems. Detailed record
	Constraint satisfaction for HW/SW verification Cigler, Luděk ; Vomlelová, Marta (referee) ; Barták, Roman (advisor) Constraint satisfaction techniques (CSP) are a powerful framework for modeling and solving various problems in artificial intelligence and operations research. Verification of HW and SW can profit from employing constraint satisfaction for test generation. The essential property of a CSP algorithm (wrt. test generation) is the uniform generation of solution samples. We present several algorithms for sampling solutions of a CSP and extend them so that they can be used for sampling solutions of CSP with preferences. We test the performance of our algorithms on various benchmark problems. Detailed record
	Analysis and implementation of algorithms for secondary school timetables scheduling Cigler, Luděk ; Surynek, Pavel (referee) ; Pergel, Martin (advisor) Scheduling represents an interesting and difficult problem of combinatorial automated secondary school timetabling. We describe an implementation of a timetabling system, which combines constraint programming with local search techniques. The system allows user to make manual changes in the timetable during the computation. Detailed record

See also: similar author names
2	Cígler, Lukáš

Interested in being notified about new results for this query?
Subscribe to the RSS feed.

Digital Repository :: :: :: ::
Powered by v1.1.2
Maintained by

This site is also available in the following languages:
Česky English