Matches in SemOpenAlex for { <https://semopenalex.org/work/W2039461270> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2039461270 abstract "The satisfiability problem is shown to be a formulation suitable for problems in planning, scheduling, solid modeling, etc. which cannot be solved by the unsatisfiability formulation (logic programming). A reduction procedure is developed, to prove the satisfiability, using a geometrical interpretation of the logical expression to be satified. The procedure is shown to be applicable to the first-order clauses too." @default.
- W2039461270 created "2016-06-24" @default.
- W2039461270 creator A5072917449 @default.
- W2039461270 date "1989-03-21" @default.
- W2039461270 modified "2023-09-23" @default.
- W2039461270 title "Problem Solving By Proving Satisfiability" @default.
- W2039461270 doi "https://doi.org/10.1117/12.969353" @default.
- W2039461270 hasPublicationYear "1989" @default.
- W2039461270 type Work @default.
- W2039461270 sameAs 2039461270 @default.
- W2039461270 citedByCount "0" @default.
- W2039461270 crossrefType "proceedings-article" @default.
- W2039461270 hasAuthorship W2039461270A5072917449 @default.
- W2039461270 hasConcept C111335779 @default.
- W2039461270 hasConcept C11413529 @default.
- W2039461270 hasConcept C126255220 @default.
- W2039461270 hasConcept C16221470 @default.
- W2039461270 hasConcept C168773769 @default.
- W2039461270 hasConcept C206729178 @default.
- W2039461270 hasConcept C2524010 @default.
- W2039461270 hasConcept C33923547 @default.
- W2039461270 hasConcept C41008148 @default.
- W2039461270 hasConcept C6943359 @default.
- W2039461270 hasConceptScore W2039461270C111335779 @default.
- W2039461270 hasConceptScore W2039461270C11413529 @default.
- W2039461270 hasConceptScore W2039461270C126255220 @default.
- W2039461270 hasConceptScore W2039461270C16221470 @default.
- W2039461270 hasConceptScore W2039461270C168773769 @default.
- W2039461270 hasConceptScore W2039461270C206729178 @default.
- W2039461270 hasConceptScore W2039461270C2524010 @default.
- W2039461270 hasConceptScore W2039461270C33923547 @default.
- W2039461270 hasConceptScore W2039461270C41008148 @default.
- W2039461270 hasConceptScore W2039461270C6943359 @default.
- W2039461270 hasLocation W20394612701 @default.
- W2039461270 hasOpenAccess W2039461270 @default.
- W2039461270 hasPrimaryLocation W20394612701 @default.
- W2039461270 hasRelatedWork W1543568366 @default.
- W2039461270 hasRelatedWork W1557481323 @default.
- W2039461270 hasRelatedWork W1600869845 @default.
- W2039461270 hasRelatedWork W2076399409 @default.
- W2039461270 hasRelatedWork W2091617677 @default.
- W2039461270 hasRelatedWork W2480084299 @default.
- W2039461270 hasRelatedWork W2571882453 @default.
- W2039461270 hasRelatedWork W3107131366 @default.
- W2039461270 hasRelatedWork W4211028879 @default.
- W2039461270 hasRelatedWork W2611035363 @default.
- W2039461270 isParatext "false" @default.
- W2039461270 isRetracted "false" @default.
- W2039461270 magId "2039461270" @default.
- W2039461270 workType "article" @default.