FRINK Linked Data Fragments server

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

• W2097404893 abstract "The satisfiability problem (SAT) is a typical NP-complete problem where a wide range of applications has been studied. Given a set of variables U and a set of clauses C, the goal of SAT is to find a truth assignment to variables in U such that every clause in C is satisfied if it exits, or to derive the infeasibility otherwise. This paper presents an approximation algorithm, called a minimal-state processing search algorithm for SAT (MIPS-SAT). MIPS-SAT repeatedly transits minimal states in terms of the cost function for searching a solution through a construction stage and a refinement stage. The first stage greedily generates an initial state composed of as many satisfied clauses as possible. The second stage iteratively seeks a solution while keeping state minimality. The performance of MIPS-SAT is verified through solving DIMACS benchmark instances." @default.
• W2097404893 created "2016-06-24" @default.
• W2097404893 creator A5029483884 @default.
• W2097404893 creator A5049233006 @default.
• W2097404893 creator A5057610115 @default.
• W2097404893 creator A5058030842 @default.
• W2097404893 creator A5082680857 @default.
• W2097404893 date "2002-11-13" @default.
• W2097404893 modified "2023-09-23" @default.
• W2097404893 title "A minimal-state processing search algorithm for satisfiability problems" @default.
• W2097404893 cites W125178576 @default.
• W2097404893 cites W1526749820 @default.
• W2097404893 cites W157039134 @default.
• W2097404893 cites W1627230931 @default.
• W2097404893 cites W1667614912 @default.
• W2097404893 cites W1976140238 @default.
• W2097404893 cites W2011039300 @default.
• W2097404893 cites W2017127020 @default.
• W2097404893 cites W2044560939 @default.
• W2097404893 cites W2057361103 @default.
• W2097404893 cites W2062897452 @default.
• W2097404893 cites W2071875892 @default.
• W2097404893 cites W2108637261 @default.
• W2097404893 cites W2108641898 @default.
• W2097404893 cites W2120599220 @default.
• W2097404893 cites W2147096558 @default.
• W2097404893 cites W2153803014 @default.
• W2097404893 cites W2160444875 @default.
• W2097404893 cites W2161273503 @default.
• W2097404893 cites W2398137523 @default.
• W2097404893 cites W2402651075 @default.
• W2097404893 cites W2406125742 @default.
• W2097404893 cites W1598793332 @default.
• W2097404893 doi "https://doi.org/10.1109/icsmc.2001.972986" @default.
• W2097404893 hasPublicationYear "2002" @default.
• W2097404893 type Work @default.
• W2097404893 sameAs 2097404893 @default.
• W2097404893 citedByCount "1" @default.
• W2097404893 crossrefType "proceedings-article" @default.
• W2097404893 hasAuthorship W2097404893A5029483884 @default.
• W2097404893 hasAuthorship W2097404893A5049233006 @default.
• W2097404893 hasAuthorship W2097404893A5057610115 @default.
• W2097404893 hasAuthorship W2097404893A5058030842 @default.
• W2097404893 hasAuthorship W2097404893A5082680857 @default.
• W2097404893 hasBestOaLocation W20974048932 @default.
• W2097404893 hasConcept C111797529 @default.
• W2097404893 hasConcept C11413529 @default.
• W2097404893 hasConcept C126255220 @default.
• W2097404893 hasConcept C13280743 @default.
• W2097404893 hasConcept C14036430 @default.
• W2097404893 hasConcept C159985019 @default.
• W2097404893 hasConcept C168773769 @default.
• W2097404893 hasConcept C177264268 @default.
• W2097404893 hasConcept C185798385 @default.
• W2097404893 hasConcept C187455244 @default.
• W2097404893 hasConcept C192562407 @default.
• W2097404893 hasConcept C199360897 @default.
• W2097404893 hasConcept C204323151 @default.
• W2097404893 hasConcept C205649164 @default.
• W2097404893 hasConcept C33923547 @default.
• W2097404893 hasConcept C41008148 @default.
• W2097404893 hasConcept C48103436 @default.
• W2097404893 hasConcept C6943359 @default.
• W2097404893 hasConcept C78458016 @default.
• W2097404893 hasConcept C86803240 @default.
• W2097404893 hasConceptScore W2097404893C111797529 @default.
• W2097404893 hasConceptScore W2097404893C11413529 @default.
• W2097404893 hasConceptScore W2097404893C126255220 @default.
• W2097404893 hasConceptScore W2097404893C13280743 @default.
• W2097404893 hasConceptScore W2097404893C14036430 @default.
• W2097404893 hasConceptScore W2097404893C159985019 @default.
• W2097404893 hasConceptScore W2097404893C168773769 @default.
• W2097404893 hasConceptScore W2097404893C177264268 @default.
• W2097404893 hasConceptScore W2097404893C185798385 @default.
• W2097404893 hasConceptScore W2097404893C187455244 @default.
• W2097404893 hasConceptScore W2097404893C192562407 @default.
• W2097404893 hasConceptScore W2097404893C199360897 @default.
• W2097404893 hasConceptScore W2097404893C204323151 @default.
• W2097404893 hasConceptScore W2097404893C205649164 @default.
• W2097404893 hasConceptScore W2097404893C33923547 @default.
• W2097404893 hasConceptScore W2097404893C41008148 @default.
• W2097404893 hasConceptScore W2097404893C48103436 @default.
• W2097404893 hasConceptScore W2097404893C6943359 @default.
• W2097404893 hasConceptScore W2097404893C78458016 @default.
• W2097404893 hasConceptScore W2097404893C86803240 @default.
• W2097404893 hasLocation W20974048931 @default.
• W2097404893 hasLocation W20974048932 @default.
• W2097404893 hasOpenAccess W2097404893 @default.
• W2097404893 hasPrimaryLocation W20974048931 @default.
• W2097404893 hasRelatedWork W1832831991 @default.
• W2097404893 hasRelatedWork W192406999 @default.
• W2097404893 hasRelatedWork W1964340145 @default.
• W2097404893 hasRelatedWork W1969885872 @default.
• W2097404893 hasRelatedWork W2017940741 @default.
• W2097404893 hasRelatedWork W2024498936 @default.
• W2097404893 hasRelatedWork W2068791137 @default.
• W2097404893 hasRelatedWork W2212155158 @default.
• W2097404893 hasRelatedWork W2408080066 @default.
• W2097404893 hasRelatedWork W4321012653 @default.
• W2097404893 isParatext "false" @default.

• next