Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310628640> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4310628640 abstract "Generating diverse solutions to the Boolean Satisfiability Problem (SAT) is a hard computational problem with practical applications for testing and functional verification of software and hardware designs. We explore the way to generate such solutions using Denoising Diffusion coupled with a Graph Neural Network to implement the denoising function. We find that the obtained accuracy is similar to the currently best purely neural method and the produced SAT solutions are highly diverse, even if the system is trained with non-random solutions from a standard solver." @default.
- W4310628640 created "2022-12-13" @default.
- W4310628640 creator A5076238305 @default.
- W4310628640 creator A5085237554 @default.
- W4310628640 date "2022-11-30" @default.
- W4310628640 modified "2023-10-16" @default.
- W4310628640 title "Denoising Diffusion for Sampling SAT Solutions" @default.
- W4310628640 doi "https://doi.org/10.48550/arxiv.2212.00121" @default.
- W4310628640 hasPublicationYear "2022" @default.
- W4310628640 type Work @default.
- W4310628640 citedByCount "0" @default.
- W4310628640 crossrefType "posted-content" @default.
- W4310628640 hasAuthorship W4310628640A5076238305 @default.
- W4310628640 hasAuthorship W4310628640A5085237554 @default.
- W4310628640 hasBestOaLocation W43106286401 @default.
- W4310628640 hasConcept C11413529 @default.
- W4310628640 hasConcept C132525143 @default.
- W4310628640 hasConcept C14036430 @default.
- W4310628640 hasConcept C152062344 @default.
- W4310628640 hasConcept C154945302 @default.
- W4310628640 hasConcept C163294075 @default.
- W4310628640 hasConcept C164155591 @default.
- W4310628640 hasConcept C168773769 @default.
- W4310628640 hasConcept C187455244 @default.
- W4310628640 hasConcept C199360897 @default.
- W4310628640 hasConcept C2778770139 @default.
- W4310628640 hasConcept C41008148 @default.
- W4310628640 hasConcept C50644808 @default.
- W4310628640 hasConcept C6943359 @default.
- W4310628640 hasConcept C78458016 @default.
- W4310628640 hasConcept C80444323 @default.
- W4310628640 hasConcept C86803240 @default.
- W4310628640 hasConceptScore W4310628640C11413529 @default.
- W4310628640 hasConceptScore W4310628640C132525143 @default.
- W4310628640 hasConceptScore W4310628640C14036430 @default.
- W4310628640 hasConceptScore W4310628640C152062344 @default.
- W4310628640 hasConceptScore W4310628640C154945302 @default.
- W4310628640 hasConceptScore W4310628640C163294075 @default.
- W4310628640 hasConceptScore W4310628640C164155591 @default.
- W4310628640 hasConceptScore W4310628640C168773769 @default.
- W4310628640 hasConceptScore W4310628640C187455244 @default.
- W4310628640 hasConceptScore W4310628640C199360897 @default.
- W4310628640 hasConceptScore W4310628640C2778770139 @default.
- W4310628640 hasConceptScore W4310628640C41008148 @default.
- W4310628640 hasConceptScore W4310628640C50644808 @default.
- W4310628640 hasConceptScore W4310628640C6943359 @default.
- W4310628640 hasConceptScore W4310628640C78458016 @default.
- W4310628640 hasConceptScore W4310628640C80444323 @default.
- W4310628640 hasConceptScore W4310628640C86803240 @default.
- W4310628640 hasLocation W43106286401 @default.
- W4310628640 hasLocation W43106286402 @default.
- W4310628640 hasOpenAccess W4310628640 @default.
- W4310628640 hasPrimaryLocation W43106286401 @default.
- W4310628640 hasRelatedWork W152362803 @default.
- W4310628640 hasRelatedWork W153407638 @default.
- W4310628640 hasRelatedWork W1601158010 @default.
- W4310628640 hasRelatedWork W1945774704 @default.
- W4310628640 hasRelatedWork W2028308254 @default.
- W4310628640 hasRelatedWork W2141151670 @default.
- W4310628640 hasRelatedWork W2296658079 @default.
- W4310628640 hasRelatedWork W2901100179 @default.
- W4310628640 hasRelatedWork W4233077045 @default.
- W4310628640 hasRelatedWork W4241145878 @default.
- W4310628640 isParatext "false" @default.
- W4310628640 isRetracted "false" @default.
- W4310628640 workType "article" @default.