Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024498936> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2024498936 abstract "The satisfiability(SAT) problem is a core problem of artificial intelligence. Research findings in SAT are widely used in many areas. The main methods solving SAT problem are resolution principle, tableau calculus and extension rule. Besides methods mentioned above, we find that the SAT problem can be solved with hitting set algorithms. If a set of clause is satisfiable, there must be a hitting set of the clause set which containing no complementary pairs of literals. Algorithm NEWHS-tree is an efficient hitting set algorithm proposed by Ouyang. RNHST proposed in this paper is a revised algorithm in respect of NEWHS-tree. It judges the satisfiability of a clause set by confirming the existence of the set's hitting set without complementary pairs of literals. The test result shows that RNHST is an efficient algorithm." @default.
- W2024498936 created "2016-06-24" @default.
- W2024498936 creator A5009735447 @default.
- W2024498936 creator A5048681907 @default.
- W2024498936 creator A5049462948 @default.
- W2024498936 creator A5061800156 @default.
- W2024498936 date "2010-01-01" @default.
- W2024498936 modified "2023-09-23" @default.
- W2024498936 title "Solving SAT problem with a revised hitting set algorithm" @default.
- W2024498936 cites W127232014 @default.
- W2024498936 cites W1547213911 @default.
- W2024498936 cites W1556434751 @default.
- W2024498936 cites W1599103728 @default.
- W2024498936 cites W1624572887 @default.
- W2024498936 cites W1627230931 @default.
- W2024498936 cites W1968404090 @default.
- W2024498936 cites W2004831359 @default.
- W2024498936 cites W2057361103 @default.
- W2024498936 cites W2071810434 @default.
- W2024498936 cites W2100738443 @default.
- W2024498936 cites W2376232178 @default.
- W2024498936 cites W2979173346 @default.
- W2024498936 doi "https://doi.org/10.1109/icfcc.2010.5497565" @default.
- W2024498936 hasPublicationYear "2010" @default.
- W2024498936 type Work @default.
- W2024498936 sameAs 2024498936 @default.
- W2024498936 citedByCount "0" @default.
- W2024498936 crossrefType "proceedings-article" @default.
- W2024498936 hasAuthorship W2024498936A5009735447 @default.
- W2024498936 hasAuthorship W2024498936A5048681907 @default.
- W2024498936 hasAuthorship W2024498936A5049462948 @default.
- W2024498936 hasAuthorship W2024498936A5061800156 @default.
- W2024498936 hasConcept C111797529 @default.
- W2024498936 hasConcept C113174947 @default.
- W2024498936 hasConcept C11413529 @default.
- W2024498936 hasConcept C114614502 @default.
- W2024498936 hasConcept C138268822 @default.
- W2024498936 hasConcept C154945302 @default.
- W2024498936 hasConcept C16221470 @default.
- W2024498936 hasConcept C168773769 @default.
- W2024498936 hasConcept C177264268 @default.
- W2024498936 hasConcept C187455244 @default.
- W2024498936 hasConcept C199360897 @default.
- W2024498936 hasConcept C2778029271 @default.
- W2024498936 hasConcept C33923547 @default.
- W2024498936 hasConcept C41008148 @default.
- W2024498936 hasConcept C6943359 @default.
- W2024498936 hasConceptScore W2024498936C111797529 @default.
- W2024498936 hasConceptScore W2024498936C113174947 @default.
- W2024498936 hasConceptScore W2024498936C11413529 @default.
- W2024498936 hasConceptScore W2024498936C114614502 @default.
- W2024498936 hasConceptScore W2024498936C138268822 @default.
- W2024498936 hasConceptScore W2024498936C154945302 @default.
- W2024498936 hasConceptScore W2024498936C16221470 @default.
- W2024498936 hasConceptScore W2024498936C168773769 @default.
- W2024498936 hasConceptScore W2024498936C177264268 @default.
- W2024498936 hasConceptScore W2024498936C187455244 @default.
- W2024498936 hasConceptScore W2024498936C199360897 @default.
- W2024498936 hasConceptScore W2024498936C2778029271 @default.
- W2024498936 hasConceptScore W2024498936C33923547 @default.
- W2024498936 hasConceptScore W2024498936C41008148 @default.
- W2024498936 hasConceptScore W2024498936C6943359 @default.
- W2024498936 hasLocation W20244989361 @default.
- W2024498936 hasOpenAccess W2024498936 @default.
- W2024498936 hasPrimaryLocation W20244989361 @default.
- W2024498936 hasRelatedWork W1942651816 @default.
- W2024498936 hasRelatedWork W1990083896 @default.
- W2024498936 hasRelatedWork W1994277026 @default.
- W2024498936 hasRelatedWork W2000038675 @default.
- W2024498936 hasRelatedWork W2009763164 @default.
- W2024498936 hasRelatedWork W2017940741 @default.
- W2024498936 hasRelatedWork W2026355757 @default.
- W2024498936 hasRelatedWork W2094668451 @default.
- W2024498936 hasRelatedWork W2102980637 @default.
- W2024498936 hasRelatedWork W2141303758 @default.
- W2024498936 hasRelatedWork W2143134170 @default.
- W2024498936 hasRelatedWork W2148729715 @default.
- W2024498936 hasRelatedWork W2152426072 @default.
- W2024498936 hasRelatedWork W2170622195 @default.
- W2024498936 hasRelatedWork W2171033649 @default.
- W2024498936 hasRelatedWork W2219808903 @default.
- W2024498936 hasRelatedWork W2357072589 @default.
- W2024498936 hasRelatedWork W2367728317 @default.
- W2024498936 hasRelatedWork W2394349251 @default.
- W2024498936 hasRelatedWork W3003955588 @default.
- W2024498936 isParatext "false" @default.
- W2024498936 isRetracted "false" @default.
- W2024498936 magId "2024498936" @default.
- W2024498936 workType "article" @default.