Matches in SemOpenAlex for { <https://semopenalex.org/work/W190496528> ?p ?o ?g. }
- W190496528 startingPage "12" @default.
- W190496528 abstract "Propositional satisfiability problem (SAT) is a well-known NP-complete problem. It can be categorized as NP-complete because it has a phase transition point between satisfiable or unsatisfiable. Instances within the phase transition region are hard to solve. To reduce computation time in this region, we designed and implemented a Fail Detection (FD) technique in solving 3-SAT. To simplify implementation procedure, constraint programming is used as the core of the solver because a set of utility is already well developed. As we concern about the robustness of our technique, a large-scale experiment with wide spectrum of random generated 3-SAT instances as test cases is run. To figure out the efficiency of our technique, existing approaches such as Davis-Putnam procedure (DP) and Jeroslow-Wang heuristic used in Davis-Putnam procedure (DP+JW) are tested together with Fail Detection technique (i.e., DP+FD and DP+JW+FD) using the same set of random generated uniform 3-SAT instances. Statistical results show that our DP+JW+FD approach is able to gain up to 63% reduction in computation complexity compare with DP and the effect of hard problem in phase transition region is also significantly reduced." @default.
- W190496528 created "2016-06-24" @default.
- W190496528 creator A5029890737 @default.
- W190496528 creator A5040722936 @default.
- W190496528 creator A5047492831 @default.
- W190496528 date "2005-02-13" @default.
- W190496528 modified "2023-10-01" @default.
- W190496528 title "Solving 3-SAT using constraint programming and fail detection" @default.
- W190496528 cites W1572277334 @default.
- W190496528 cites W1600919542 @default.
- W190496528 cites W1620410031 @default.
- W190496528 cites W2043193943 @default.
- W190496528 cites W2062897452 @default.
- W190496528 cites W2069683773 @default.
- W190496528 cites W2085301456 @default.
- W190496528 cites W2112957923 @default.
- W190496528 cites W2135432705 @default.
- W190496528 cites W2138037655 @default.
- W190496528 cites W2148546044 @default.
- W190496528 cites W2766545043 @default.
- W190496528 cites W2984454117 @default.
- W190496528 cites W47276269 @default.
- W190496528 cites W4983232 @default.
- W190496528 hasPublicationYear "2005" @default.
- W190496528 type Work @default.
- W190496528 sameAs 190496528 @default.
- W190496528 citedByCount "1" @default.
- W190496528 countsByYear W1904965282013 @default.
- W190496528 crossrefType "proceedings-article" @default.
- W190496528 hasAuthorship W190496528A5029890737 @default.
- W190496528 hasAuthorship W190496528A5040722936 @default.
- W190496528 hasAuthorship W190496528A5047492831 @default.
- W190496528 hasConcept C104317684 @default.
- W190496528 hasConcept C111797529 @default.
- W190496528 hasConcept C11413529 @default.
- W190496528 hasConcept C126255220 @default.
- W190496528 hasConcept C137631369 @default.
- W190496528 hasConcept C154945302 @default.
- W190496528 hasConcept C168773769 @default.
- W190496528 hasConcept C173404611 @default.
- W190496528 hasConcept C173801870 @default.
- W190496528 hasConcept C179799912 @default.
- W190496528 hasConcept C185592680 @default.
- W190496528 hasConcept C187455244 @default.
- W190496528 hasConcept C199622910 @default.
- W190496528 hasConcept C2524010 @default.
- W190496528 hasConcept C2776036281 @default.
- W190496528 hasConcept C2778770139 @default.
- W190496528 hasConcept C33923547 @default.
- W190496528 hasConcept C37404715 @default.
- W190496528 hasConcept C41008148 @default.
- W190496528 hasConcept C41045048 @default.
- W190496528 hasConcept C45374587 @default.
- W190496528 hasConcept C49937458 @default.
- W190496528 hasConcept C55493867 @default.
- W190496528 hasConcept C63479239 @default.
- W190496528 hasConcept C6943359 @default.
- W190496528 hasConceptScore W190496528C104317684 @default.
- W190496528 hasConceptScore W190496528C111797529 @default.
- W190496528 hasConceptScore W190496528C11413529 @default.
- W190496528 hasConceptScore W190496528C126255220 @default.
- W190496528 hasConceptScore W190496528C137631369 @default.
- W190496528 hasConceptScore W190496528C154945302 @default.
- W190496528 hasConceptScore W190496528C168773769 @default.
- W190496528 hasConceptScore W190496528C173404611 @default.
- W190496528 hasConceptScore W190496528C173801870 @default.
- W190496528 hasConceptScore W190496528C179799912 @default.
- W190496528 hasConceptScore W190496528C185592680 @default.
- W190496528 hasConceptScore W190496528C187455244 @default.
- W190496528 hasConceptScore W190496528C199622910 @default.
- W190496528 hasConceptScore W190496528C2524010 @default.
- W190496528 hasConceptScore W190496528C2776036281 @default.
- W190496528 hasConceptScore W190496528C2778770139 @default.
- W190496528 hasConceptScore W190496528C33923547 @default.
- W190496528 hasConceptScore W190496528C37404715 @default.
- W190496528 hasConceptScore W190496528C41008148 @default.
- W190496528 hasConceptScore W190496528C41045048 @default.
- W190496528 hasConceptScore W190496528C45374587 @default.
- W190496528 hasConceptScore W190496528C49937458 @default.
- W190496528 hasConceptScore W190496528C55493867 @default.
- W190496528 hasConceptScore W190496528C63479239 @default.
- W190496528 hasConceptScore W190496528C6943359 @default.
- W190496528 hasLocation W1904965281 @default.
- W190496528 hasOpenAccess W190496528 @default.
- W190496528 hasPrimaryLocation W1904965281 @default.
- W190496528 hasRelatedWork W139194355 @default.
- W190496528 hasRelatedWork W1521053613 @default.
- W190496528 hasRelatedWork W1531103278 @default.
- W190496528 hasRelatedWork W1550483759 @default.
- W190496528 hasRelatedWork W1728966390 @default.
- W190496528 hasRelatedWork W1748533846 @default.
- W190496528 hasRelatedWork W2141811956 @default.
- W190496528 hasRelatedWork W2585961851 @default.
- W190496528 hasRelatedWork W2784788793 @default.
- W190496528 hasRelatedWork W2982792743 @default.
- W190496528 hasRelatedWork W3003854347 @default.
- W190496528 hasRelatedWork W3105390215 @default.
- W190496528 hasRelatedWork W3127941413 @default.
- W190496528 hasRelatedWork W3152377371 @default.