AAS 390 Chapter Notes - Chapter 1: Subderivative, Propositional Formula, Random Variable
25 views2 pages
29 Jun 2022
School
Department
Course
Professor
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
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers