Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293531368> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W4293531368 abstract "The aim of this short note is mainly pedagogical. It summarizes some knowledge about Boolean satisfiability (SAT) and the P=NP? problem in an elementary mathematical language. A convenient scheme to visualize and manipulate CNF formulae is introduced. Also some results like the formulae for the number of unsatisfied clauses and the number of solutions might be unknown." @default.
- W4293531368 created "2022-08-30" @default.
- W4293531368 creator A5068675473 @default.
- W4293531368 date "2014-08-13" @default.
- W4293531368 modified "2023-09-28" @default.
- W4293531368 title "SAT for pedestrians" @default.
- W4293531368 doi "https://doi.org/10.48550/arxiv.1408.3286" @default.
- W4293531368 hasPublicationYear "2014" @default.
- W4293531368 type Work @default.
- W4293531368 citedByCount "0" @default.
- W4293531368 crossrefType "posted-content" @default.
- W4293531368 hasAuthorship W4293531368A5068675473 @default.
- W4293531368 hasBestOaLocation W42935313681 @default.
- W4293531368 hasConcept C134306372 @default.
- W4293531368 hasConcept C16221470 @default.
- W4293531368 hasConcept C168773769 @default.
- W4293531368 hasConcept C199360897 @default.
- W4293531368 hasConcept C33923547 @default.
- W4293531368 hasConcept C41008148 @default.
- W4293531368 hasConcept C6943359 @default.
- W4293531368 hasConcept C77618280 @default.
- W4293531368 hasConcept C80444323 @default.
- W4293531368 hasConceptScore W4293531368C134306372 @default.
- W4293531368 hasConceptScore W4293531368C16221470 @default.
- W4293531368 hasConceptScore W4293531368C168773769 @default.
- W4293531368 hasConceptScore W4293531368C199360897 @default.
- W4293531368 hasConceptScore W4293531368C33923547 @default.
- W4293531368 hasConceptScore W4293531368C41008148 @default.
- W4293531368 hasConceptScore W4293531368C6943359 @default.
- W4293531368 hasConceptScore W4293531368C77618280 @default.
- W4293531368 hasConceptScore W4293531368C80444323 @default.
- W4293531368 hasLocation W42935313681 @default.
- W4293531368 hasOpenAccess W4293531368 @default.
- W4293531368 hasPrimaryLocation W42935313681 @default.
- W4293531368 hasRelatedWork W1537589219 @default.
- W4293531368 hasRelatedWork W1570066695 @default.
- W4293531368 hasRelatedWork W160316455 @default.
- W4293531368 hasRelatedWork W2120006490 @default.
- W4293531368 hasRelatedWork W2293411300 @default.
- W4293531368 hasRelatedWork W2404895391 @default.
- W4293531368 hasRelatedWork W2469887214 @default.
- W4293531368 hasRelatedWork W2735839445 @default.
- W4293531368 hasRelatedWork W2964877360 @default.
- W4293531368 hasRelatedWork W415119434 @default.
- W4293531368 isParatext "false" @default.
- W4293531368 isRetracted "false" @default.
- W4293531368 workType "article" @default.