Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504296877> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1504296877 abstract "The satisfiability problem (SAT) which is known to be NP-complete (7) plays a central role problem in many applications in the fields of VLSI Computer-Aided design, Computing Theory, and Artificial Intelligence. Generally, a SAT problem is defined as follows. A propositional formula Φ = ∧m j=1 Cj with m clauses and n Boolean variables is given. Each Boolean variable, xi, i ∈ {1, . . . , n}, takes one of the two values, True or False. A clause , in turn, is a disjunction of literals and a literal is a variable or its negation. Each clause Cj has the form:" @default.
- W1504296877 created "2016-06-24" @default.
- W1504296877 creator A5084813055 @default.
- W1504296877 date "2012-01-20" @default.
- W1504296877 modified "2023-09-25" @default.
- W1504296877 title "A Multilevel Approach Applied to Sat-Encoded Problems" @default.
- W1504296877 cites W101991592 @default.
- W1504296877 cites W125178576 @default.
- W1504296877 cites W139325465 @default.
- W1504296877 cites W14039637 @default.
- W1504296877 cites W1494865762 @default.
- W1504296877 cites W1496083386 @default.
- W1504296877 cites W1509570335 @default.
- W1504296877 cites W1509619035 @default.
- W1504296877 cites W1513769081 @default.
- W1504296877 cites W1519526968 @default.
- W1504296877 cites W1521097846 @default.
- W1504296877 cites W1537595897 @default.
- W1504296877 cites W1564467016 @default.
- W1504296877 cites W1574451223 @default.
- W1504296877 cites W1574977213 @default.
- W1504296877 cites W1583869287 @default.
- W1504296877 cites W1667614912 @default.
- W1504296877 cites W1792365433 @default.
- W1504296877 cites W1805238228 @default.
- W1504296877 cites W18216792 @default.
- W1504296877 cites W1969355111 @default.
- W1504296877 cites W1978526866 @default.
- W1504296877 cites W1981893977 @default.
- W1504296877 cites W1984853564 @default.
- W1504296877 cites W2004951603 @default.
- W1504296877 cites W2010076847 @default.
- W1504296877 cites W2011039300 @default.
- W1504296877 cites W2023923770 @default.
- W1504296877 cites W2036265926 @default.
- W1504296877 cites W2060265333 @default.
- W1504296877 cites W2070232376 @default.
- W1504296877 cites W2077240465 @default.
- W1504296877 cites W2077877806 @default.
- W1504296877 cites W2100179054 @default.
- W1504296877 cites W2106440199 @default.
- W1504296877 cites W2117189826 @default.
- W1504296877 cites W2118953734 @default.
- W1504296877 cites W2120348968 @default.
- W1504296877 cites W2138959470 @default.
- W1504296877 cites W2141037672 @default.
- W1504296877 cites W2165372647 @default.
- W1504296877 cites W338375802 @default.
- W1504296877 cites W2004617458 @default.
- W1504296877 cites W2891212941 @default.
- W1504296877 doi "https://doi.org/10.5772/33436" @default.
- W1504296877 hasPublicationYear "2012" @default.
- W1504296877 type Work @default.
- W1504296877 sameAs 1504296877 @default.
- W1504296877 citedByCount "2" @default.
- W1504296877 countsByYear W15042968772013 @default.
- W1504296877 countsByYear W15042968772014 @default.
- W1504296877 crossrefType "book-chapter" @default.
- W1504296877 hasAuthorship W1504296877A5084813055 @default.
- W1504296877 hasBestOaLocation W15042968771 @default.
- W1504296877 hasConcept C41008148 @default.
- W1504296877 hasConcept C80444323 @default.
- W1504296877 hasConceptScore W1504296877C41008148 @default.
- W1504296877 hasConceptScore W1504296877C80444323 @default.
- W1504296877 hasLocation W15042968771 @default.
- W1504296877 hasLocation W15042968772 @default.
- W1504296877 hasOpenAccess W1504296877 @default.
- W1504296877 hasPrimaryLocation W15042968771 @default.
- W1504296877 hasRelatedWork W2093578348 @default.
- W1504296877 hasRelatedWork W2350741829 @default.
- W1504296877 hasRelatedWork W2358668433 @default.
- W1504296877 hasRelatedWork W2376932109 @default.
- W1504296877 hasRelatedWork W2382290278 @default.
- W1504296877 hasRelatedWork W2390279801 @default.
- W1504296877 hasRelatedWork W2392953011 @default.
- W1504296877 hasRelatedWork W2748952813 @default.
- W1504296877 hasRelatedWork W2766271392 @default.
- W1504296877 hasRelatedWork W2899084033 @default.
- W1504296877 isParatext "false" @default.
- W1504296877 isRetracted "false" @default.
- W1504296877 magId "1504296877" @default.
- W1504296877 workType "book-chapter" @default.