The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers

Saved in:
Bibliographic Details
Published in:Journal on satisfiability, Boolean modeling and computation Boolean modeling and computation, 2010-11, Vol.7 (2-3), p.89-126
Main Authors: Heras, Federico, Bañeres, David
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1574-0617
1574-0617
DOI:10.3233/SAT190080