AAS 390 Chapter Notes - Chapter 1: Subderivative, Propositional Formula, Random Variable

29 views2 pages

Document Summary

Dave a. d. tompkins, frank hutter, and holger h. hoos. The rst part of this paper is essentially a reprint of the solver description from the 2005 competi- tion, as the software submitted this year is identi- cal to the 2005 software. We entered the saps variant implemented in the ubcsat software pack- age [7], the source code for which is freely available at http://www. satlib. org/ubcsat. The only difference to 2005 is that we submit two versions of saps, one with the original default parameters [4], and one with a new set of tuned pa- rameters. These parameters have been found using an automatic approach based on local search in pa- rameter space [3]. Section 3 gives a brief overview of this tuning approach and shows very promising performance of the automatically tuned parameters. The saps algorithm is a dynamic local search (dls) algorithm conceptually closely related to the. Exponentiated sub-gradient (esg) algorithm de- veloped by schuurmans, southey and holte [5].

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents

Related Questions