Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499477603> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1499477603 abstract "Some aspects of the result of applying unit resolution on a CNF formula can be formalized as functions with domain a set of partial truth assignments. We are interested in two ways for computing such functions, depending on whether the result is the production of the empty clause or the assignment of a variable with a given truth value. We show that these two models can compute the same functions with formulae of polynomially related sizes, and we explain how this result is related to the CNF encoding of Boolean constraints." @default.
- W1499477603 created "2016-06-24" @default.
- W1499477603 creator A5009855027 @default.
- W1499477603 date "2012-04-03" @default.
- W1499477603 modified "2023-09-27" @default.
- W1499477603 title "Unit contradiction versus unit propagation" @default.
- W1499477603 cites W1479859531 @default.
- W1499477603 cites W1531545757 @default.
- W1499477603 cites W1550483759 @default.
- W1499477603 cites W1590910789 @default.
- W1499477603 cites W1982347904 @default.
- W1499477603 cites W1998113645 @default.
- W1499477603 cites W1999647826 @default.
- W1499477603 cites W2022088719 @default.
- W1499477603 cites W2100609826 @default.
- W1499477603 cites W2149914135 @default.
- W1499477603 cites W627487437 @default.
- W1499477603 hasPublicationYear "2012" @default.
- W1499477603 type Work @default.
- W1499477603 sameAs 1499477603 @default.
- W1499477603 citedByCount "0" @default.
- W1499477603 crossrefType "posted-content" @default.
- W1499477603 hasAuthorship W1499477603A5009855027 @default.
- W1499477603 hasConcept C105795698 @default.
- W1499477603 hasConcept C111472728 @default.
- W1499477603 hasConcept C11413529 @default.
- W1499477603 hasConcept C118615104 @default.
- W1499477603 hasConcept C122637931 @default.
- W1499477603 hasConcept C134306372 @default.
- W1499477603 hasConcept C138268822 @default.
- W1499477603 hasConcept C138885662 @default.
- W1499477603 hasConcept C145420912 @default.
- W1499477603 hasConcept C154945302 @default.
- W1499477603 hasConcept C177264268 @default.
- W1499477603 hasConcept C182359184 @default.
- W1499477603 hasConcept C182365436 @default.
- W1499477603 hasConcept C199360897 @default.
- W1499477603 hasConcept C2776291640 @default.
- W1499477603 hasConcept C2776728590 @default.
- W1499477603 hasConcept C33923547 @default.
- W1499477603 hasConcept C36503486 @default.
- W1499477603 hasConcept C41008148 @default.
- W1499477603 hasConcept C46274116 @default.
- W1499477603 hasConcept C7342684 @default.
- W1499477603 hasConcept C80444323 @default.
- W1499477603 hasConceptScore W1499477603C105795698 @default.
- W1499477603 hasConceptScore W1499477603C111472728 @default.
- W1499477603 hasConceptScore W1499477603C11413529 @default.
- W1499477603 hasConceptScore W1499477603C118615104 @default.
- W1499477603 hasConceptScore W1499477603C122637931 @default.
- W1499477603 hasConceptScore W1499477603C134306372 @default.
- W1499477603 hasConceptScore W1499477603C138268822 @default.
- W1499477603 hasConceptScore W1499477603C138885662 @default.
- W1499477603 hasConceptScore W1499477603C145420912 @default.
- W1499477603 hasConceptScore W1499477603C154945302 @default.
- W1499477603 hasConceptScore W1499477603C177264268 @default.
- W1499477603 hasConceptScore W1499477603C182359184 @default.
- W1499477603 hasConceptScore W1499477603C182365436 @default.
- W1499477603 hasConceptScore W1499477603C199360897 @default.
- W1499477603 hasConceptScore W1499477603C2776291640 @default.
- W1499477603 hasConceptScore W1499477603C2776728590 @default.
- W1499477603 hasConceptScore W1499477603C33923547 @default.
- W1499477603 hasConceptScore W1499477603C36503486 @default.
- W1499477603 hasConceptScore W1499477603C41008148 @default.
- W1499477603 hasConceptScore W1499477603C46274116 @default.
- W1499477603 hasConceptScore W1499477603C7342684 @default.
- W1499477603 hasConceptScore W1499477603C80444323 @default.
- W1499477603 hasLocation W14994776031 @default.
- W1499477603 hasOpenAccess W1499477603 @default.
- W1499477603 hasPrimaryLocation W14994776031 @default.
- W1499477603 hasRelatedWork W127510381 @default.
- W1499477603 hasRelatedWork W1530996181 @default.
- W1499477603 hasRelatedWork W1532784182 @default.
- W1499477603 hasRelatedWork W1539416635 @default.
- W1499477603 hasRelatedWork W1597588219 @default.
- W1499477603 hasRelatedWork W1643824286 @default.
- W1499477603 hasRelatedWork W2005967372 @default.
- W1499477603 hasRelatedWork W2026105979 @default.
- W1499477603 hasRelatedWork W2103219200 @default.
- W1499477603 hasRelatedWork W2114994281 @default.
- W1499477603 hasRelatedWork W2156117182 @default.
- W1499477603 hasRelatedWork W2494815764 @default.
- W1499477603 hasRelatedWork W2747084554 @default.
- W1499477603 hasRelatedWork W2787006615 @default.
- W1499477603 hasRelatedWork W2901212285 @default.
- W1499477603 hasRelatedWork W2953108622 @default.
- W1499477603 hasRelatedWork W2981948274 @default.
- W1499477603 hasRelatedWork W3102597374 @default.
- W1499477603 hasRelatedWork W3129261105 @default.
- W1499477603 hasRelatedWork W218721226 @default.
- W1499477603 isParatext "false" @default.
- W1499477603 isRetracted "false" @default.
- W1499477603 magId "1499477603" @default.
- W1499477603 workType "article" @default.