Sciweavers

2 search results - page 1 / 1
» Optimal solutions for multi-unit combinatorial auctions: bra...
Sort
View
JSAT
2010
132views more  JSAT 2010»
13 years 2 months ago
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers
In this paper we analyze three well-known preprocessors for Max-SAT. The first preprocessor is based on the so-called variable saturation. The second preprocessor is based on the ...
Federico Heras, David Bañeres