# 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