Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294973923> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4294973923 abstract "Propositional model counting or #SAT is the problem of computing the number of satisfying assignments of a Boolean formula and many discrete probabilistic inference problems can be translated into a model counting problem to be solved by #SAT solvers. Generic ``exact'' #SAT solvers, however, are often not scalable to industrial-level instances. In this paper, we present Neuro#, an approach for learning branching heuristics for exact #SAT solvers via evolution strategies (ES) to reduce the number of branching steps the solver takes to solve an instance. We experimentally show that our approach not only reduces the step count on similarly distributed held-out instances but it also generalizes to much larger instances from the same problem family. The gap between the learned and the vanilla solver on larger instances is sometimes so wide that the learned solver can even overcome the run time overhead of querying the model and beat the vanilla in wall-clock time by orders of magnitude." @default.
- W4294973923 created "2022-09-08" @default.
- W4294973923 creator A5024901763 @default.
- W4294973923 creator A5034693159 @default.
- W4294973923 creator A5054711904 @default.
- W4294973923 creator A5064230639 @default.
- W4294973923 creator A5067036768 @default.
- W4294973923 creator A5068405149 @default.
- W4294973923 creator A5079263019 @default.
- W4294973923 creator A5091641915 @default.
- W4294973923 date "2020-07-07" @default.
- W4294973923 modified "2023-10-17" @default.
- W4294973923 title "Learning Branching Heuristics for Propositional Model Counting" @default.
- W4294973923 doi "https://doi.org/10.48550/arxiv.2007.03204" @default.
- W4294973923 hasPublicationYear "2020" @default.
- W4294973923 type Work @default.
- W4294973923 citedByCount "0" @default.
- W4294973923 crossrefType "posted-content" @default.
- W4294973923 hasAuthorship W4294973923A5024901763 @default.
- W4294973923 hasAuthorship W4294973923A5034693159 @default.
- W4294973923 hasAuthorship W4294973923A5054711904 @default.
- W4294973923 hasAuthorship W4294973923A5064230639 @default.
- W4294973923 hasAuthorship W4294973923A5067036768 @default.
- W4294973923 hasAuthorship W4294973923A5068405149 @default.
- W4294973923 hasAuthorship W4294973923A5079263019 @default.
- W4294973923 hasAuthorship W4294973923A5091641915 @default.
- W4294973923 hasConcept C102993220 @default.
- W4294973923 hasConcept C111919701 @default.
- W4294973923 hasConcept C11413529 @default.
- W4294973923 hasConcept C127705205 @default.
- W4294973923 hasConcept C14523651 @default.
- W4294973923 hasConcept C154945302 @default.
- W4294973923 hasConcept C168773769 @default.
- W4294973923 hasConcept C199360897 @default.
- W4294973923 hasConcept C2778770139 @default.
- W4294973923 hasConcept C33203268 @default.
- W4294973923 hasConcept C41008148 @default.
- W4294973923 hasConcept C48044578 @default.
- W4294973923 hasConcept C49937458 @default.
- W4294973923 hasConcept C6943359 @default.
- W4294973923 hasConcept C74640108 @default.
- W4294973923 hasConcept C77088390 @default.
- W4294973923 hasConcept C80444323 @default.
- W4294973923 hasConceptScore W4294973923C102993220 @default.
- W4294973923 hasConceptScore W4294973923C111919701 @default.
- W4294973923 hasConceptScore W4294973923C11413529 @default.
- W4294973923 hasConceptScore W4294973923C127705205 @default.
- W4294973923 hasConceptScore W4294973923C14523651 @default.
- W4294973923 hasConceptScore W4294973923C154945302 @default.
- W4294973923 hasConceptScore W4294973923C168773769 @default.
- W4294973923 hasConceptScore W4294973923C199360897 @default.
- W4294973923 hasConceptScore W4294973923C2778770139 @default.
- W4294973923 hasConceptScore W4294973923C33203268 @default.
- W4294973923 hasConceptScore W4294973923C41008148 @default.
- W4294973923 hasConceptScore W4294973923C48044578 @default.
- W4294973923 hasConceptScore W4294973923C49937458 @default.
- W4294973923 hasConceptScore W4294973923C6943359 @default.
- W4294973923 hasConceptScore W4294973923C74640108 @default.
- W4294973923 hasConceptScore W4294973923C77088390 @default.
- W4294973923 hasConceptScore W4294973923C80444323 @default.
- W4294973923 hasLocation W42949739231 @default.
- W4294973923 hasOpenAccess W4294973923 @default.
- W4294973923 hasPrimaryLocation W42949739231 @default.
- W4294973923 hasRelatedWork W1589045411 @default.
- W4294973923 hasRelatedWork W2021747739 @default.
- W4294973923 hasRelatedWork W2121863021 @default.
- W4294973923 hasRelatedWork W2141692543 @default.
- W4294973923 hasRelatedWork W2187432824 @default.
- W4294973923 hasRelatedWork W2403284201 @default.
- W4294973923 hasRelatedWork W2404668260 @default.
- W4294973923 hasRelatedWork W3040628294 @default.
- W4294973923 hasRelatedWork W3132490487 @default.
- W4294973923 hasRelatedWork W2516150756 @default.
- W4294973923 isParatext "false" @default.
- W4294973923 isRetracted "false" @default.
- W4294973923 workType "article" @default.