Matches in SemOpenAlex for { <https://semopenalex.org/work/W3127053693> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3127053693 abstract "“Search trees”, “branching trees”, “backtracking trees” or “enumeration trees” are at the heart of many (complete) approaches towards hard combinatorial problems, constraint problems, and, of course, SAT problems. Given many choices for branching, the fundamental question is how to guide the choices so that the resulting trees are (relatively) small. Despite (or perhaps because) of its apparently more narrow scope, especially in the SAT area several approaches from theory and applications have found together, and the rudiments of a theory of branching heuristics emerged. In this chapter the first systematic treatment is given. So a general theory of heuristics guiding the construction of “branching trees” is developed, ranging from a general theoretical analysis to the analysis of the historical development of branching heuristics for SAT solvers, and also to heuristics beyond SAT solving." @default.
- W3127053693 created "2021-02-15" @default.
- W3127053693 creator A5073035961 @default.
- W3127053693 date "2021-02-02" @default.
- W3127053693 modified "2023-10-16" @default.
- W3127053693 title "Chapter 8. Fundaments of Branching Heuristics" @default.
- W3127053693 doi "https://doi.org/10.3233/faia200991" @default.
- W3127053693 hasPublicationYear "2021" @default.
- W3127053693 type Work @default.
- W3127053693 sameAs 3127053693 @default.
- W3127053693 citedByCount "0" @default.
- W3127053693 crossrefType "book-chapter" @default.
- W3127053693 hasAuthorship W3127053693A5073035961 @default.
- W3127053693 hasConcept C103888782 @default.
- W3127053693 hasConcept C106472803 @default.
- W3127053693 hasConcept C118615104 @default.
- W3127053693 hasConcept C126255220 @default.
- W3127053693 hasConcept C127705205 @default.
- W3127053693 hasConcept C156340839 @default.
- W3127053693 hasConcept C156884757 @default.
- W3127053693 hasConcept C178790620 @default.
- W3127053693 hasConcept C185592680 @default.
- W3127053693 hasConcept C199360897 @default.
- W3127053693 hasConcept C206175624 @default.
- W3127053693 hasConcept C2524010 @default.
- W3127053693 hasConcept C2776036281 @default.
- W3127053693 hasConcept C2778012447 @default.
- W3127053693 hasConcept C33923547 @default.
- W3127053693 hasConcept C41008148 @default.
- W3127053693 hasConcept C52692508 @default.
- W3127053693 hasConcept C80444323 @default.
- W3127053693 hasConceptScore W3127053693C103888782 @default.
- W3127053693 hasConceptScore W3127053693C106472803 @default.
- W3127053693 hasConceptScore W3127053693C118615104 @default.
- W3127053693 hasConceptScore W3127053693C126255220 @default.
- W3127053693 hasConceptScore W3127053693C127705205 @default.
- W3127053693 hasConceptScore W3127053693C156340839 @default.
- W3127053693 hasConceptScore W3127053693C156884757 @default.
- W3127053693 hasConceptScore W3127053693C178790620 @default.
- W3127053693 hasConceptScore W3127053693C185592680 @default.
- W3127053693 hasConceptScore W3127053693C199360897 @default.
- W3127053693 hasConceptScore W3127053693C206175624 @default.
- W3127053693 hasConceptScore W3127053693C2524010 @default.
- W3127053693 hasConceptScore W3127053693C2776036281 @default.
- W3127053693 hasConceptScore W3127053693C2778012447 @default.
- W3127053693 hasConceptScore W3127053693C33923547 @default.
- W3127053693 hasConceptScore W3127053693C41008148 @default.
- W3127053693 hasConceptScore W3127053693C52692508 @default.
- W3127053693 hasConceptScore W3127053693C80444323 @default.
- W3127053693 hasLocation W31270536931 @default.
- W3127053693 hasOpenAccess W3127053693 @default.
- W3127053693 hasPrimaryLocation W31270536931 @default.
- W3127053693 hasRelatedWork W10895447 @default.
- W3127053693 hasRelatedWork W1268304 @default.
- W3127053693 hasRelatedWork W1891940 @default.
- W3127053693 hasRelatedWork W3477245 @default.
- W3127053693 hasRelatedWork W7093020 @default.
- W3127053693 hasRelatedWork W7614323 @default.
- W3127053693 hasRelatedWork W7934506 @default.
- W3127053693 hasRelatedWork W8039324 @default.
- W3127053693 hasRelatedWork W8049136 @default.
- W3127053693 hasRelatedWork W8060374 @default.
- W3127053693 isParatext "false" @default.
- W3127053693 isRetracted "false" @default.
- W3127053693 magId "3127053693" @default.
- W3127053693 workType "book-chapter" @default.