Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019659596> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2019659596 endingPage "165" @default.
- W2019659596 startingPage "164" @default.
- W2019659596 abstract "We give a criterion for satisfiability of a boolean formula in conjunctive normal form by means of a multiple integral." @default.
- W2019659596 created "2016-06-24" @default.
- W2019659596 creator A5087413833 @default.
- W2019659596 date "2012-02-01" @default.
- W2019659596 modified "2023-09-25" @default.
- W2019659596 title "An analytic criterion for CSAT" @default.
- W2019659596 cites W2036265926 @default.
- W2019659596 cites W2293988196 @default.
- W2019659596 doi "https://doi.org/10.1016/j.ipl.2011.11.011" @default.
- W2019659596 hasPublicationYear "2012" @default.
- W2019659596 type Work @default.
- W2019659596 sameAs 2019659596 @default.
- W2019659596 citedByCount "0" @default.
- W2019659596 crossrefType "journal-article" @default.
- W2019659596 hasAuthorship W2019659596A5087413833 @default.
- W2019659596 hasConcept C204321447 @default.
- W2019659596 hasConcept C23123220 @default.
- W2019659596 hasConcept C33923547 @default.
- W2019659596 hasConcept C41008148 @default.
- W2019659596 hasConceptScore W2019659596C204321447 @default.
- W2019659596 hasConceptScore W2019659596C23123220 @default.
- W2019659596 hasConceptScore W2019659596C33923547 @default.
- W2019659596 hasConceptScore W2019659596C41008148 @default.
- W2019659596 hasIssue "5" @default.
- W2019659596 hasLocation W20196595961 @default.
- W2019659596 hasOpenAccess W2019659596 @default.
- W2019659596 hasPrimaryLocation W20196595961 @default.
- W2019659596 hasRelatedWork W2086064646 @default.
- W2019659596 hasRelatedWork W2119214692 @default.
- W2019659596 hasRelatedWork W2357241418 @default.
- W2019659596 hasRelatedWork W2366644548 @default.
- W2019659596 hasRelatedWork W2368651715 @default.
- W2019659596 hasRelatedWork W2376314740 @default.
- W2019659596 hasRelatedWork W2384888906 @default.
- W2019659596 hasRelatedWork W2387135740 @default.
- W2019659596 hasRelatedWork W2611614995 @default.
- W2019659596 hasRelatedWork W2789919619 @default.
- W2019659596 hasVolume "112" @default.
- W2019659596 isParatext "false" @default.
- W2019659596 isRetracted "false" @default.
- W2019659596 magId "2019659596" @default.
- W2019659596 workType "article" @default.