226
click to vote
CP
16 years 13 days ago
2001 Springer 
Abstract. Selecting conformations for side-chains is an important subtask in building three-dimensional protein models. Side-chain placement is a difficult problem because of the l...
230
click to vote
CP
16 years 13 days ago
2001 Springer 
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. The local instruction scheduling problem is to nd a m...
171
click to vote
CP
16 years 13 days ago
2001 Springer
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
225
click to vote
CP
16 years 13 days ago
2001 Springer
Abstract. In distributed resource allocation a set of agents must assign their resources to a set of tasks. This problem arises in many real-world domains such as disaster rescue, ...
212
click to vote
CP
16 years 13 days ago
2001 Springer 
Abstract. This paper contains an experimental study of the impact of the construction strategy of reduced, ordered binary decision diagrams (ROBDDs) on the average-case computation...
|
Artificial Intelligence