26 search results - page 6 / 6 » Partitioning SAT Instances for Distributed Solving |
119
click to vote
UAI
1990
15 years 4 months ago
1990
The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for ...