Sciweavers

1040 search results - page 27 / 208
» Tools for modeling and solving search problems
Sort
View
83
Voted
EVOW
2001
Springer
15 years 2 months ago
Automated Solution of a Highly Constrained School Timetabling Problem - Preliminary Results
This work introduces a highly constrained school timetabling problem which was modeled from the requirements of a German high school. The concept for solving the problem uses a hyb...
Marc Bufé, Tim Fischer, Holger Gubbels, Cla...
ENTCS
2006
115views more  ENTCS 2006»
14 years 10 months ago
Analyzing the Uses of a Software Modeling Tool
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz...
70
Voted
ESWS
2009
Springer
15 years 4 months ago
An Ontology of Resources: Solving the Identity Crisis
The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for webpages to URIs for “real objects and imaginary concepts...
Harry Halpin, Valentina Presutti
76
Voted
COMPSAC
2006
IEEE
15 years 4 months ago
Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
Jun Yan, Jian Zhang
99
Voted
CP
2003
Springer
15 years 3 months ago
Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...
Carlos Eisenberg, Boi Faltings