Sciweavers

16091 search results - page 176 / 3219
» Solving
Sort
View
106
Voted
SRDS
1992
IEEE
15 years 7 months ago
Distributed Problem Solving In SPite Of Processor Failures
K. V. S. Ramarao, S. Venkatesan
ASPDAC
2007
ACM
79views Hardware» more  ASPDAC 2007»
15 years 7 months ago
Multithreaded SAT Solving
Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
116
Voted
COMPGEOM
2007
ACM
15 years 7 months ago
A geometric framework for solving subsequence problems in computational biology efficiently
Thorsten Bernholt, Friedrich Eisenbrand, Thomas Ho...
138
Voted
CP
2007
Springer
15 years 7 months ago
On Inconsistent Clause-Subsets for Max-SAT Solving
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
Sylvain Darras, Gilles Dequen, Laure Devendeville,...