Matches in SemOpenAlex for { <https://semopenalex.org/work/W2918963915> ?p ?o ?g. }
- W2918963915 abstract "There have been recent efforts for incorporating Graph Neural Network models for learning full-stack solvers for constraint satisfaction problems (CSP) and particularly Boolean satisfiability (SAT). Despite the unique representational power of these neural embedding models, it is not clear how the search strategy in the learned models actually works. On the other hand, by fixing the search strategy (e.g. greedy search), we would effectively deprive the neural models of learning better strategies than those given. In this paper, we propose a generic neural framework for learning CSP solvers that can be described in terms of probabilistic inference and yet learn search strategies beyond greedy search. Our framework is based on the idea of propagation, decimation and prediction (and hence the name PDP) in graphical models, and can be trained directly toward solving CSP in a fully unsupervised manner via energy minimization, as shown in the paper. Our experimental results demonstrate the effectiveness of our framework for SAT solving compared to both neural and the state-of-the-art baselines." @default.
- W2918963915 created "2019-03-11" @default.
- W2918963915 creator A5023179995 @default.
- W2918963915 creator A5033592362 @default.
- W2918963915 creator A5044581608 @default.
- W2918963915 date "2019-03-05" @default.
- W2918963915 modified "2023-09-27" @default.
- W2918963915 title "PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers." @default.
- W2918963915 cites W128869332 @default.
- W2918963915 cites W1511986666 @default.
- W2918963915 cites W1532090063 @default.
- W2918963915 cites W1546325545 @default.
- W2918963915 cites W1551913526 @default.
- W2918963915 cites W1742599129 @default.
- W2918963915 cites W1924770834 @default.
- W2918963915 cites W2070797946 @default.
- W2918963915 cites W2107914461 @default.
- W2918963915 cites W2115082908 @default.
- W2918963915 cites W2124654932 @default.
- W2918963915 cites W2129791282 @default.
- W2918963915 cites W2139955802 @default.
- W2918963915 cites W2147148915 @default.
- W2918963915 cites W2148546044 @default.
- W2918963915 cites W2151936673 @default.
- W2918963915 cites W2153904215 @default.
- W2918963915 cites W2165085685 @default.
- W2918963915 cites W2168192936 @default.
- W2918963915 cites W2168290833 @default.
- W2918963915 cites W2404783418 @default.
- W2918963915 cites W2409909788 @default.
- W2918963915 cites W2482661504 @default.
- W2918963915 cites W2498324117 @default.
- W2918963915 cites W2507756961 @default.
- W2918963915 cites W2558748708 @default.
- W2918963915 cites W2566505556 @default.
- W2918963915 cites W2607264901 @default.
- W2918963915 cites W2785837881 @default.
- W2918963915 cites W2912450141 @default.
- W2918963915 cites W2950898568 @default.
- W2918963915 cites W2952332632 @default.
- W2918963915 cites W2952433032 @default.
- W2918963915 cites W2962692521 @default.
- W2918963915 cites W2962695963 @default.
- W2918963915 cites W2962961919 @default.
- W2918963915 cites W2963117013 @default.
- W2918963915 cites W2963382544 @default.
- W2918963915 cites W2963693726 @default.
- W2918963915 cites W2963867952 @default.
- W2918963915 cites W2964084343 @default.
- W2918963915 cites W2964321699 @default.
- W2918963915 cites W3047863327 @default.
- W2918963915 cites W3140660692 @default.
- W2918963915 cites W46203810 @default.
- W2918963915 cites W60686164 @default.
- W2918963915 cites W613121520 @default.
- W2918963915 cites W73352345 @default.
- W2918963915 hasPublicationYear "2019" @default.
- W2918963915 type Work @default.
- W2918963915 sameAs 2918963915 @default.
- W2918963915 citedByCount "7" @default.
- W2918963915 countsByYear W29189639152019 @default.
- W2918963915 countsByYear W29189639152020 @default.
- W2918963915 countsByYear W29189639152021 @default.
- W2918963915 crossrefType "posted-content" @default.
- W2918963915 hasAuthorship W2918963915A5023179995 @default.
- W2918963915 hasAuthorship W2918963915A5033592362 @default.
- W2918963915 hasAuthorship W2918963915A5044581608 @default.
- W2918963915 hasConcept C119857082 @default.
- W2918963915 hasConcept C154945302 @default.
- W2918963915 hasConcept C199622910 @default.
- W2918963915 hasConcept C2776214188 @default.
- W2918963915 hasConcept C41008148 @default.
- W2918963915 hasConcept C41608201 @default.
- W2918963915 hasConcept C44616089 @default.
- W2918963915 hasConcept C49937458 @default.
- W2918963915 hasConcept C50644808 @default.
- W2918963915 hasConcept C80444323 @default.
- W2918963915 hasConceptScore W2918963915C119857082 @default.
- W2918963915 hasConceptScore W2918963915C154945302 @default.
- W2918963915 hasConceptScore W2918963915C199622910 @default.
- W2918963915 hasConceptScore W2918963915C2776214188 @default.
- W2918963915 hasConceptScore W2918963915C41008148 @default.
- W2918963915 hasConceptScore W2918963915C41608201 @default.
- W2918963915 hasConceptScore W2918963915C44616089 @default.
- W2918963915 hasConceptScore W2918963915C49937458 @default.
- W2918963915 hasConceptScore W2918963915C50644808 @default.
- W2918963915 hasConceptScore W2918963915C80444323 @default.
- W2918963915 hasLocation W29189639151 @default.
- W2918963915 hasOpenAccess W2918963915 @default.
- W2918963915 hasPrimaryLocation W29189639151 @default.
- W2918963915 hasRelatedWork W2088166277 @default.
- W2918963915 hasRelatedWork W2146140624 @default.
- W2918963915 hasRelatedWork W2168977355 @default.
- W2918963915 hasRelatedWork W2232834753 @default.
- W2918963915 hasRelatedWork W2607462057 @default.
- W2918963915 hasRelatedWork W2786776430 @default.
- W2918963915 hasRelatedWork W2921627381 @default.
- W2918963915 hasRelatedWork W2935129849 @default.
- W2918963915 hasRelatedWork W2951071805 @default.
- W2918963915 hasRelatedWork W2952842591 @default.