Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057744520> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2057744520 abstract "First a Linear Programming formulation is considered for the satisfiability problem, in particular for the satisfaction of a Conjunctive Normal Form in the Propositional Calculus and the Simplex algorithm for solving the optimization problem. The use of Recurrent Neural Networks is then described for choosing the best pivot positions and greatly improving the algorithm performance. The result of hard cases testing is reported and shows that the technique can be useful even if it requires a huge amount of size for the constraint array and Neural Network Data Input." @default.
- W2057744520 created "2016-06-24" @default.
- W2057744520 creator A5078254963 @default.
- W2057744520 date "1999-02-01" @default.
- W2057744520 modified "2023-09-25" @default.
- W2057744520 title "NEURAL NETWORKS AND LINEAR PROGRAMMING FOR THE SATISFIABILITY PROBLEM" @default.
- W2057744520 cites W1966818732 @default.
- W2057744520 cites W2005117046 @default.
- W2057744520 cites W2062897452 @default.
- W2057744520 cites W2068322802 @default.
- W2057744520 cites W2084692127 @default.
- W2057744520 cites W2092993939 @default.
- W2057744520 cites W2110485445 @default.
- W2057744520 doi "https://doi.org/10.1142/s0129065799000034" @default.
- W2057744520 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/10401927" @default.
- W2057744520 hasPublicationYear "1999" @default.
- W2057744520 type Work @default.
- W2057744520 sameAs 2057744520 @default.
- W2057744520 citedByCount "0" @default.
- W2057744520 crossrefType "journal-article" @default.
- W2057744520 hasAuthorship W2057744520A5078254963 @default.
- W2057744520 hasConcept C11413529 @default.
- W2057744520 hasConcept C126255220 @default.
- W2057744520 hasConcept C144521790 @default.
- W2057744520 hasConcept C154945302 @default.
- W2057744520 hasConcept C16221470 @default.
- W2057744520 hasConcept C168773769 @default.
- W2057744520 hasConcept C199360897 @default.
- W2057744520 hasConcept C199622910 @default.
- W2057744520 hasConcept C33923547 @default.
- W2057744520 hasConcept C41008148 @default.
- W2057744520 hasConcept C41045048 @default.
- W2057744520 hasConcept C44616089 @default.
- W2057744520 hasConcept C49937458 @default.
- W2057744520 hasConcept C50644808 @default.
- W2057744520 hasConcept C69562738 @default.
- W2057744520 hasConceptScore W2057744520C11413529 @default.
- W2057744520 hasConceptScore W2057744520C126255220 @default.
- W2057744520 hasConceptScore W2057744520C144521790 @default.
- W2057744520 hasConceptScore W2057744520C154945302 @default.
- W2057744520 hasConceptScore W2057744520C16221470 @default.
- W2057744520 hasConceptScore W2057744520C168773769 @default.
- W2057744520 hasConceptScore W2057744520C199360897 @default.
- W2057744520 hasConceptScore W2057744520C199622910 @default.
- W2057744520 hasConceptScore W2057744520C33923547 @default.
- W2057744520 hasConceptScore W2057744520C41008148 @default.
- W2057744520 hasConceptScore W2057744520C41045048 @default.
- W2057744520 hasConceptScore W2057744520C44616089 @default.
- W2057744520 hasConceptScore W2057744520C49937458 @default.
- W2057744520 hasConceptScore W2057744520C50644808 @default.
- W2057744520 hasConceptScore W2057744520C69562738 @default.
- W2057744520 hasLocation W20577445201 @default.
- W2057744520 hasLocation W20577445202 @default.
- W2057744520 hasOpenAccess W2057744520 @default.
- W2057744520 hasPrimaryLocation W20577445201 @default.
- W2057744520 hasRelatedWork W1821041434 @default.
- W2057744520 hasRelatedWork W1980599513 @default.
- W2057744520 hasRelatedWork W1985602827 @default.
- W2057744520 hasRelatedWork W2053591403 @default.
- W2057744520 hasRelatedWork W2057744520 @default.
- W2057744520 hasRelatedWork W2147442986 @default.
- W2057744520 hasRelatedWork W2160766833 @default.
- W2057744520 hasRelatedWork W2405776767 @default.
- W2057744520 hasRelatedWork W1494899162 @default.
- W2057744520 hasRelatedWork W2189214846 @default.
- W2057744520 isParatext "false" @default.
- W2057744520 isRetracted "false" @default.
- W2057744520 magId "2057744520" @default.
- W2057744520 workType "article" @default.