Matches in SemOpenAlex for { <https://semopenalex.org/work/W150331716> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W150331716 abstract "In the random k-SAT model, probabilistic calculations are often limited to the first and second moments, thus giving an idea of the average behavior, whereas what happens with high probability can significantly differ from this average behavior. In these conditions, we believe that the handiest way to understand what really happens in random k-SAT is experimenting. Experimental evidence may then give some hints hopefully leading to fruitful calculations.Also, when you design a solver, you may want to test it on real instances before you possibly prove some of its nice properties.However doing experiments can also be tedious, because you must generate random instances, then measure the properties you want to test and eventually you would even like to make your results accessible through a suitable graph. All this implies lots of repetitive tasks, and in order to automate them we developed a GUI-software called SATLab." @default.
- W150331716 created "2016-06-24" @default.
- W150331716 creator A5016684927 @default.
- W150331716 date "2012-01-01" @default.
- W150331716 modified "2023-09-25" @default.
- W150331716 title "SATLab: X-Raying Random k-SAT" @default.
- W150331716 cites W1546338010 @default.
- W150331716 cites W1555678362 @default.
- W150331716 cites W1980276492 @default.
- W150331716 cites W2001001966 @default.
- W150331716 cites W2006474266 @default.
- W150331716 cites W2017127020 @default.
- W150331716 cites W2063428816 @default.
- W150331716 cites W2145098470 @default.
- W150331716 cites W2602510746 @default.
- W150331716 cites W2621271919 @default.
- W150331716 cites W2912723616 @default.
- W150331716 cites W2949171506 @default.
- W150331716 cites W2950654313 @default.
- W150331716 cites W67367170 @default.
- W150331716 doi "https://doi.org/10.1007/978-3-642-31612-8_32" @default.
- W150331716 hasPublicationYear "2012" @default.
- W150331716 type Work @default.
- W150331716 sameAs 150331716 @default.
- W150331716 citedByCount "0" @default.
- W150331716 crossrefType "book-chapter" @default.
- W150331716 hasAuthorship W150331716A5016684927 @default.
- W150331716 hasConcept C106159264 @default.
- W150331716 hasConcept C11413529 @default.
- W150331716 hasConcept C119857082 @default.
- W150331716 hasConcept C128942645 @default.
- W150331716 hasConcept C132525143 @default.
- W150331716 hasConcept C152877465 @default.
- W150331716 hasConcept C154945302 @default.
- W150331716 hasConcept C199360897 @default.
- W150331716 hasConcept C2778770139 @default.
- W150331716 hasConcept C41008148 @default.
- W150331716 hasConcept C47458327 @default.
- W150331716 hasConcept C49937458 @default.
- W150331716 hasConcept C80444323 @default.
- W150331716 hasConceptScore W150331716C106159264 @default.
- W150331716 hasConceptScore W150331716C11413529 @default.
- W150331716 hasConceptScore W150331716C119857082 @default.
- W150331716 hasConceptScore W150331716C128942645 @default.
- W150331716 hasConceptScore W150331716C132525143 @default.
- W150331716 hasConceptScore W150331716C152877465 @default.
- W150331716 hasConceptScore W150331716C154945302 @default.
- W150331716 hasConceptScore W150331716C199360897 @default.
- W150331716 hasConceptScore W150331716C2778770139 @default.
- W150331716 hasConceptScore W150331716C41008148 @default.
- W150331716 hasConceptScore W150331716C47458327 @default.
- W150331716 hasConceptScore W150331716C49937458 @default.
- W150331716 hasConceptScore W150331716C80444323 @default.
- W150331716 hasLocation W1503317161 @default.
- W150331716 hasOpenAccess W150331716 @default.
- W150331716 hasPrimaryLocation W1503317161 @default.
- W150331716 hasRelatedWork W114122332 @default.
- W150331716 hasRelatedWork W121098996 @default.
- W150331716 hasRelatedWork W1595654965 @default.
- W150331716 hasRelatedWork W1971141225 @default.
- W150331716 hasRelatedWork W2116808107 @default.
- W150331716 hasRelatedWork W2154377164 @default.
- W150331716 hasRelatedWork W2487418437 @default.
- W150331716 hasRelatedWork W259649282 @default.
- W150331716 hasRelatedWork W26239611 @default.
- W150331716 hasRelatedWork W2946898512 @default.
- W150331716 hasRelatedWork W3023512740 @default.
- W150331716 hasRelatedWork W3033834804 @default.
- W150331716 hasRelatedWork W55658399 @default.
- W150331716 hasRelatedWork W822677821 @default.
- W150331716 hasRelatedWork W924159296 @default.
- W150331716 hasRelatedWork W96626636 @default.
- W150331716 hasRelatedWork W136656646 @default.
- W150331716 hasRelatedWork W2184349429 @default.
- W150331716 hasRelatedWork W244882089 @default.
- W150331716 hasRelatedWork W2471232127 @default.
- W150331716 isParatext "false" @default.
- W150331716 isRetracted "false" @default.
- W150331716 magId "150331716" @default.
- W150331716 workType "book-chapter" @default.