Matches in SemOpenAlex for { <https://semopenalex.org/work/W1591324994> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1591324994 endingPage "107" @default.
- W1591324994 startingPage "96" @default.
- W1591324994 abstract "Identifying CSP variables in SAT encodings of combinatorial problems allows one to incorporate CSP-like variable selection heuristics into SAT solvers. We show that such heuristics turn out to be more powerful than the best performing state-of-the-art variable selection heuristics for SAT. In particular, we define five novel CSP-like variable selection heuristics for Chaff —one of the most modern, powerful and robust SAT solvers— and provide experimental evidence that Chaff augmented with those heuristics outperforms the original Chaff solver one order of magnitude on difficult SAT-encoded problems like random binary CSPs, pigeon hole, and graph coloring." @default.
- W1591324994 created "2016-06-24" @default.
- W1591324994 creator A5029609152 @default.
- W1591324994 creator A5039752849 @default.
- W1591324994 creator A5061148416 @default.
- W1591324994 date "2003-01-01" @default.
- W1591324994 modified "2023-10-16" @default.
- W1591324994 title "Boosting Chaff’s Performance by Incorporating CSP Heuristics" @default.
- W1591324994 cites W1482062249 @default.
- W1591324994 cites W1521053613 @default.
- W1591324994 cites W1568287735 @default.
- W1591324994 cites W1873470583 @default.
- W1591324994 cites W2044560939 @default.
- W1591324994 cites W2057361103 @default.
- W1591324994 cites W2062897452 @default.
- W1591324994 cites W2068852367 @default.
- W1591324994 cites W2071639741 @default.
- W1591324994 cites W2076399409 @default.
- W1591324994 cites W2118406528 @default.
- W1591324994 cites W2124992200 @default.
- W1591324994 cites W2142785340 @default.
- W1591324994 cites W4250620173 @default.
- W1591324994 doi "https://doi.org/10.1007/978-3-540-45193-8_7" @default.
- W1591324994 hasPublicationYear "2003" @default.
- W1591324994 type Work @default.
- W1591324994 sameAs 1591324994 @default.
- W1591324994 citedByCount "11" @default.
- W1591324994 countsByYear W15913249942014 @default.
- W1591324994 countsByYear W15913249942017 @default.
- W1591324994 crossrefType "book-chapter" @default.
- W1591324994 hasAuthorship W1591324994A5029609152 @default.
- W1591324994 hasAuthorship W1591324994A5039752849 @default.
- W1591324994 hasAuthorship W1591324994A5061148416 @default.
- W1591324994 hasConcept C111919701 @default.
- W1591324994 hasConcept C11413529 @default.
- W1591324994 hasConcept C126255220 @default.
- W1591324994 hasConcept C127705205 @default.
- W1591324994 hasConcept C134306372 @default.
- W1591324994 hasConcept C154945302 @default.
- W1591324994 hasConcept C182365436 @default.
- W1591324994 hasConcept C199360897 @default.
- W1591324994 hasConcept C2778770139 @default.
- W1591324994 hasConcept C33923547 @default.
- W1591324994 hasConcept C41008148 @default.
- W1591324994 hasConcept C46686674 @default.
- W1591324994 hasConcept C80444323 @default.
- W1591324994 hasConcept C81917197 @default.
- W1591324994 hasConceptScore W1591324994C111919701 @default.
- W1591324994 hasConceptScore W1591324994C11413529 @default.
- W1591324994 hasConceptScore W1591324994C126255220 @default.
- W1591324994 hasConceptScore W1591324994C127705205 @default.
- W1591324994 hasConceptScore W1591324994C134306372 @default.
- W1591324994 hasConceptScore W1591324994C154945302 @default.
- W1591324994 hasConceptScore W1591324994C182365436 @default.
- W1591324994 hasConceptScore W1591324994C199360897 @default.
- W1591324994 hasConceptScore W1591324994C2778770139 @default.
- W1591324994 hasConceptScore W1591324994C33923547 @default.
- W1591324994 hasConceptScore W1591324994C41008148 @default.
- W1591324994 hasConceptScore W1591324994C46686674 @default.
- W1591324994 hasConceptScore W1591324994C80444323 @default.
- W1591324994 hasConceptScore W1591324994C81917197 @default.
- W1591324994 hasLocation W15913249941 @default.
- W1591324994 hasOpenAccess W1591324994 @default.
- W1591324994 hasPrimaryLocation W15913249941 @default.
- W1591324994 hasRelatedWork W2022480359 @default.
- W1591324994 hasRelatedWork W2140029088 @default.
- W1591324994 hasRelatedWork W2248956692 @default.
- W1591324994 hasRelatedWork W2781709983 @default.
- W1591324994 hasRelatedWork W2787628741 @default.
- W1591324994 hasRelatedWork W2884576438 @default.
- W1591324994 hasRelatedWork W2889903138 @default.
- W1591324994 hasRelatedWork W4281689515 @default.
- W1591324994 hasRelatedWork W4286471047 @default.
- W1591324994 hasRelatedWork W72383790 @default.
- W1591324994 isParatext "false" @default.
- W1591324994 isRetracted "false" @default.
- W1591324994 magId "1591324994" @default.
- W1591324994 workType "book-chapter" @default.