FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170245713> ?p ?o ?g. }

• W2170245713 endingPage "142" @default.
• W2170245713 startingPage "117" @default.
• W2170245713 abstract "Abstract Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances, and is known to depend strongly on algorithm parameters. This problem was addressed by means of a simple, yet effective approach using handmade, uniform, and unordered schedules of multiple solvers in ppfolio , which showed very impressive performance in the 2011 Satisfiability Testing (SAT) Competition. Inspired by this, we take advantage of the modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that is, nonuniform and ordered solver schedules from the existing benchmarking data. We begin by formulating the determination of such schedules as multi-criteria optimization problems and provide corresponding ASP encodings. The resulting encodings are easily customizable for different settings, and the computation of optimum schedules can mostly be done in the blink of an eye, even when dealing with large runtime data sets stemming from many solvers on hundreds to thousands of instances. Also, the fact that our approach can be customized easily enabled us to swiftly adapt it to generate parallel schedules for multi-processor machines." @default.
• W2170245713 created "2016-06-24" @default.
• W2170245713 creator A5025342513 @default.
• W2170245713 creator A5045511267 @default.
• W2170245713 creator A5058467603 @default.
• W2170245713 creator A5066160873 @default.
• W2170245713 date "2014-02-17" @default.
• W2170245713 modified "2023-09-24" @default.
• W2170245713 title "aspeed: Solver scheduling via answer set programming" @default.
• W2170245713 cites W1482532598 @default.
• W2170245713 cites W1495775210 @default.
• W2170245713 cites W1496777909 @default.
• W2170245713 cites W1502948544 @default.
• W2170245713 cites W1521860471 @default.
• W2170245713 cites W1597298151 @default.
• W2170245713 cites W1606891084 @default.
• W2170245713 cites W184948108 @default.
• W2170245713 cites W2013951121 @default.
• W2170245713 cites W2038372264 @default.
• W2170245713 cites W2049791401 @default.
• W2170245713 cites W2064902266 @default.
• W2170245713 cites W2147148915 @default.
• W2170245713 cites W2493995303 @default.
• W2170245713 cites W2499916382 @default.
• W2170245713 cites W2605289564 @default.
• W2170245713 cites W2914775474 @default.
• W2170245713 cites W2950680102 @default.
• W2170245713 cites W43305077 @default.
• W2170245713 cites W60686164 @default.
• W2170245713 cites W71637970 @default.
• W2170245713 doi "https://doi.org/10.1017/s1471068414000015" @default.
• W2170245713 hasPublicationYear "2014" @default.
• W2170245713 type Work @default.
• W2170245713 sameAs 2170245713 @default.
• W2170245713 citedByCount "22" @default.
• W2170245713 countsByYear W21702457132014 @default.
• W2170245713 countsByYear W21702457132015 @default.
• W2170245713 countsByYear W21702457132016 @default.
• W2170245713 countsByYear W21702457132017 @default.
• W2170245713 countsByYear W21702457132018 @default.
• W2170245713 countsByYear W21702457132019 @default.
• W2170245713 countsByYear W21702457132020 @default.
• W2170245713 countsByYear W21702457132021 @default.
• W2170245713 countsByYear W21702457132022 @default.
• W2170245713 crossrefType "journal-article" @default.
• W2170245713 hasAuthorship W2170245713A5025342513 @default.
• W2170245713 hasAuthorship W2170245713A5045511267 @default.
• W2170245713 hasAuthorship W2170245713A5058467603 @default.
• W2170245713 hasAuthorship W2170245713A5066160873 @default.
• W2170245713 hasConcept C111472728 @default.
• W2170245713 hasConcept C126255220 @default.
• W2170245713 hasConcept C137631369 @default.
• W2170245713 hasConcept C138885662 @default.
• W2170245713 hasConcept C144133560 @default.
• W2170245713 hasConcept C162853370 @default.
• W2170245713 hasConcept C168773769 @default.
• W2170245713 hasConcept C173404611 @default.
• W2170245713 hasConcept C177264268 @default.
• W2170245713 hasConcept C182620335 @default.
• W2170245713 hasConcept C199360897 @default.
• W2170245713 hasConcept C206729178 @default.
• W2170245713 hasConcept C2778770139 @default.
• W2170245713 hasConcept C2780586882 @default.
• W2170245713 hasConcept C33923547 @default.
• W2170245713 hasConcept C41008148 @default.
• W2170245713 hasConcept C45374587 @default.
• W2170245713 hasConcept C6943359 @default.
• W2170245713 hasConcept C80444323 @default.
• W2170245713 hasConcept C86251818 @default.
• W2170245713 hasConceptScore W2170245713C111472728 @default.
• W2170245713 hasConceptScore W2170245713C126255220 @default.
• W2170245713 hasConceptScore W2170245713C137631369 @default.
• W2170245713 hasConceptScore W2170245713C138885662 @default.
• W2170245713 hasConceptScore W2170245713C144133560 @default.
• W2170245713 hasConceptScore W2170245713C162853370 @default.
• W2170245713 hasConceptScore W2170245713C168773769 @default.
• W2170245713 hasConceptScore W2170245713C173404611 @default.
• W2170245713 hasConceptScore W2170245713C177264268 @default.
• W2170245713 hasConceptScore W2170245713C182620335 @default.
• W2170245713 hasConceptScore W2170245713C199360897 @default.
• W2170245713 hasConceptScore W2170245713C206729178 @default.
• W2170245713 hasConceptScore W2170245713C2778770139 @default.
• W2170245713 hasConceptScore W2170245713C2780586882 @default.
• W2170245713 hasConceptScore W2170245713C33923547 @default.
• W2170245713 hasConceptScore W2170245713C41008148 @default.
• W2170245713 hasConceptScore W2170245713C45374587 @default.
• W2170245713 hasConceptScore W2170245713C6943359 @default.
• W2170245713 hasConceptScore W2170245713C80444323 @default.
• W2170245713 hasConceptScore W2170245713C86251818 @default.
• W2170245713 hasIssue "1" @default.
• W2170245713 hasLocation W21702457131 @default.
• W2170245713 hasOpenAccess W2170245713 @default.
• W2170245713 hasPrimaryLocation W21702457131 @default.
• W2170245713 hasRelatedWork W1513230022 @default.
• W2170245713 hasRelatedWork W1555272910 @default.
• W2170245713 hasRelatedWork W1584297074 @default.
• W2170245713 hasRelatedWork W2096621306 @default.
• W2170245713 hasRelatedWork W2160562204 @default.

• next