Non-model-based algorithm portfolios for SAT

Authors:
Yuri Malitsky;Ashish Sabharwal;Horst Samulowitz;Meinolf Sellmann
Affiliations:
Brown University, Dept. of Computer Science, Providence, RI;IBM Watson Research Center, Yorktown Heights, NY;IBM Watson Research Center, Yorktown Heights, NY;IBM Watson Research Center, Yorktown Heights, NY
Venue:
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Year:
2011

Instance-Based Selection of Policies for SAT Solvers

SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
SATzilla: portfolio-based algorithm selection for SAT

Journal of Artificial Intelligence Research
A portfolio approach to algorithm select

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A multi-engine solver for quantified boolean formulas

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming

Algorithm selection and scheduling

CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Simple algorithm portfolio for SAT

Artificial Intelligence Review

Hi-index	0.00