FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100276112> ?p ?o ?g. }

• W3100276112 endingPage "328" @default.
• W3100276112 startingPage "293" @default.
• W3100276112 abstract "Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from STRIPS. We introduce a novel SAT encoding scheme (SASE) based on the SAS+ formalism. The new scheme exploits the structural information in SAS+, resulting in an encoding that is both more compact and efficient for planning. We prove the correctness of the new encoding by establishing an isomorphism between the solution plans of SASE and that of STRIPS based encodings. We further analyze the transition variables newly introduced in SASE to explain why it accommodates modern SAT solving algorithms and improves performance. We give empirical statistical results to support our analysis. We also develop a number of techniques to further reduce the encoding size of SASE, and conduct experimental studies to show the strength of each individual technique. Finally, we report extensive experimental results to demonstrate significant improvements of SASE over the state-of-the-art STRIPS based encoding schemes in terms of both time and memory efficiency." @default.
• W3100276112 created "2020-11-23" @default.
• W3100276112 creator A5028755343 @default.
• W3100276112 creator A5047318884 @default.
• W3100276112 creator A5068659777 @default.
• W3100276112 date "2012-03-13" @default.
• W3100276112 modified "2023-10-11" @default.
• W3100276112 title "SAS+ Planning as Satisfiability" @default.
• W3100276112 cites W132584314 @default.
• W3100276112 cites W1491317234 @default.
• W3100276112 cites W1502387304 @default.
• W3100276112 cites W1545688112 @default.
• W3100276112 cites W1569757069 @default.
• W3100276112 cites W1586919270 @default.
• W3100276112 cites W1593059365 @default.
• W3100276112 cites W1600919542 @default.
• W3100276112 cites W1605798759 @default.
• W3100276112 cites W1650993530 @default.
• W3100276112 cites W1663140555 @default.
• W3100276112 cites W1667362966 @default.
• W3100276112 cites W1709155369 @default.
• W3100276112 cites W1748017702 @default.
• W3100276112 cites W1973898358 @default.
• W3100276112 cites W1986006371 @default.
• W3100276112 cites W201161363 @default.
• W3100276112 cites W2020669730 @default.
• W3100276112 cites W2025460523 @default.
• W3100276112 cites W2045526507 @default.
• W3100276112 cites W2053990123 @default.
• W3100276112 cites W2120742335 @default.
• W3100276112 cites W2125178424 @default.
• W3100276112 cites W2134029974 @default.
• W3100276112 cites W2142785340 @default.
• W3100276112 cites W2146220671 @default.
• W3100276112 cites W2158359808 @default.
• W3100276112 cites W2158458082 @default.
• W3100276112 cites W2164322797 @default.
• W3100276112 cites W230546785 @default.
• W3100276112 cites W2912242901 @default.
• W3100276112 cites W2912934387 @default.
• W3100276112 cites W3101355526 @default.
• W3100276112 cites W319070645 @default.
• W3100276112 cites W48982439 @default.
• W3100276112 cites W5547553 @default.
• W3100276112 cites W76361982 @default.
• W3100276112 doi "https://doi.org/10.1613/jair.3442" @default.
• W3100276112 hasPublicationYear "2012" @default.
• W3100276112 type Work @default.
• W3100276112 sameAs 3100276112 @default.
• W3100276112 citedByCount "6" @default.
• W3100276112 countsByYear W31002761122013 @default.
• W3100276112 countsByYear W31002761122015 @default.
• W3100276112 countsByYear W31002761122017 @default.
• W3100276112 countsByYear W31002761122018 @default.
• W3100276112 countsByYear W31002761122020 @default.
• W3100276112 crossrefType "journal-article" @default.
• W3100276112 hasAuthorship W3100276112A5028755343 @default.
• W3100276112 hasAuthorship W3100276112A5047318884 @default.
• W3100276112 hasAuthorship W3100276112A5068659777 @default.
• W3100276112 hasBestOaLocation W31002761121 @default.
• W3100276112 hasConcept C11413529 @default.
• W3100276112 hasConcept C125411270 @default.
• W3100276112 hasConcept C142362112 @default.
• W3100276112 hasConcept C153349607 @default.
• W3100276112 hasConcept C154945302 @default.
• W3100276112 hasConcept C165696696 @default.
• W3100276112 hasConcept C168773769 @default.
• W3100276112 hasConcept C200925200 @default.
• W3100276112 hasConcept C38652104 @default.
• W3100276112 hasConcept C41008148 @default.
• W3100276112 hasConcept C55439883 @default.
• W3100276112 hasConcept C558565934 @default.
• W3100276112 hasConcept C73301696 @default.
• W3100276112 hasConcept C80444323 @default.
• W3100276112 hasConceptScore W3100276112C11413529 @default.
• W3100276112 hasConceptScore W3100276112C125411270 @default.
• W3100276112 hasConceptScore W3100276112C142362112 @default.
• W3100276112 hasConceptScore W3100276112C153349607 @default.
• W3100276112 hasConceptScore W3100276112C154945302 @default.
• W3100276112 hasConceptScore W3100276112C165696696 @default.
• W3100276112 hasConceptScore W3100276112C168773769 @default.
• W3100276112 hasConceptScore W3100276112C200925200 @default.
• W3100276112 hasConceptScore W3100276112C38652104 @default.
• W3100276112 hasConceptScore W3100276112C41008148 @default.
• W3100276112 hasConceptScore W3100276112C55439883 @default.
• W3100276112 hasConceptScore W3100276112C558565934 @default.
• W3100276112 hasConceptScore W3100276112C73301696 @default.
• W3100276112 hasConceptScore W3100276112C80444323 @default.
• W3100276112 hasLocation W31002761121 @default.
• W3100276112 hasLocation W31002761122 @default.
• W3100276112 hasOpenAccess W3100276112 @default.
• W3100276112 hasPrimaryLocation W31002761121 @default.
• W3100276112 hasRelatedWork W1538864647 @default.
• W3100276112 hasRelatedWork W1546948343 @default.
• W3100276112 hasRelatedWork W1969572054 @default.
• W3100276112 hasRelatedWork W1995172395 @default.
• W3100276112 hasRelatedWork W2155162307 @default.
• W3100276112 hasRelatedWork W2401629498 @default.

• next