920 search results - page 62 / 184 » Generating Satisfiable Problem Instances |
PRICAI
2000
Springer
14 years 2 months ago
2000
Springer
As more information becomes available on the World Wide Web, it has become an acute problem to provide effective search tools for information access. Previous generations of search...
AICCSA
2001
IEEE
14 years 2 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
AIPS
2006
14 years 4 days ago
2006
In this paper we describe the problem of Optimal Competitive Scheduling, which consists of activities that compete for a shared resource. The objective is to choose a subset of ac...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
High power consumption will shorten battery life for handheld devices and cause thermal and reliability problems. One way to lower the dynamic power consumption is to reduce the s...
STOC
2003
ACM
14 years 11 months ago
2003
ACM
The design of new quantum algorithms has proven to be an extremely difficult task. This paper considers a different approach to the problem, by studying the problem of 'quant...