FRINK Linked Data Fragments server

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

• W2254118105 endingPage "331" @default.
• W2254118105 startingPage "325" @default.
• W2254118105 abstract "Algorithms based on the enumeration of implicit hitting sets find a growing number of applications, which include maximum satisfiability and model based diagnosis, among others. This paper exploits enumeration of implicit hitting sets in the context of Quantified Boolean Formulas (QBF). The paper starts by developing a simple algorithm for QBF with two levels of quantification, which is shown to relate with existing work on enumeration of implicit hitting sets, but also with recent work on QBF based on abstraction refinement. The paper then extends these ideas and develops a novel QBF algorithm, which generalizes the concept of enumeration of implicit hitting sets. Experimental results, obtained on representative problem instances, show that the novel algorithm is competitive with, and often outperforms, the state of the art in QBF solving." @default.
• W2254118105 created "2016-06-24" @default.
• W2254118105 creator A5002246957 @default.
• W2254118105 creator A5083748570 @default.
• W2254118105 date "2015-07-25" @default.
• W2254118105 modified "2023-09-27" @default.
• W2254118105 title "Solving QBF by clause selection" @default.
• W2254118105 cites W116541839 @default.
• W2254118105 cites W119782953 @default.
• W2254118105 cites W129935311 @default.
• W2254118105 cites W138251527 @default.
• W2254118105 cites W139194355 @default.
• W2254118105 cites W139322340 @default.
• W2254118105 cites W147950966 @default.
• W2254118105 cites W1488842140 @default.
• W2254118105 cites W1496518193 @default.
• W2254118105 cites W1501554968 @default.
• W2254118105 cites W150238194 @default.
• W2254118105 cites W1503377936 @default.
• W2254118105 cites W1518705996 @default.
• W2254118105 cites W153481334 @default.
• W2254118105 cites W1553565837 @default.
• W2254118105 cites W1562832747 @default.
• W2254118105 cites W1571893670 @default.
• W2254118105 cites W1789541852 @default.
• W2254118105 cites W1916774567 @default.
• W2254118105 cites W1994952052 @default.
• W2254118105 cites W2005573219 @default.
• W2254118105 cites W2020169768 @default.
• W2254118105 cites W2046239089 @default.
• W2254118105 cites W2052175425 @default.
• W2254118105 cites W2108309071 @default.
• W2254118105 cites W2130919252 @default.
• W2254118105 cites W2159503942 @default.
• W2254118105 cites W2189084874 @default.
• W2254118105 cites W2205491070 @default.
• W2254118105 cites W2295460894 @default.
• W2254118105 cites W38499500 @default.
• W2254118105 cites W44408352 @default.
• W2254118105 cites W99602494 @default.
• W2254118105 cites W2118750912 @default.
• W2254118105 cites W2223587537 @default.
• W2254118105 hasPublicationYear "2015" @default.
• W2254118105 type Work @default.
• W2254118105 sameAs 2254118105 @default.
• W2254118105 citedByCount "20" @default.
• W2254118105 countsByYear W22541181052016 @default.
• W2254118105 countsByYear W22541181052017 @default.
• W2254118105 countsByYear W22541181052018 @default.
• W2254118105 countsByYear W22541181052019 @default.
• W2254118105 countsByYear W22541181052020 @default.
• W2254118105 countsByYear W22541181052021 @default.
• W2254118105 crossrefType "proceedings-article" @default.
• W2254118105 hasAuthorship W2254118105A5002246957 @default.
• W2254118105 hasAuthorship W2254118105A5083748570 @default.
• W2254118105 hasConcept C111472728 @default.
• W2254118105 hasConcept C11413529 @default.
• W2254118105 hasConcept C118615104 @default.
• W2254118105 hasConcept C124304363 @default.
• W2254118105 hasConcept C138885662 @default.
• W2254118105 hasConcept C151730666 @default.
• W2254118105 hasConcept C154945302 @default.
• W2254118105 hasConcept C156340839 @default.
• W2254118105 hasConcept C168773769 @default.
• W2254118105 hasConcept C200415742 @default.
• W2254118105 hasConcept C2779343474 @default.
• W2254118105 hasConcept C33923547 @default.
• W2254118105 hasConcept C41008148 @default.
• W2254118105 hasConcept C6943359 @default.
• W2254118105 hasConcept C80444323 @default.
• W2254118105 hasConcept C81917197 @default.
• W2254118105 hasConcept C86803240 @default.
• W2254118105 hasConceptScore W2254118105C111472728 @default.
• W2254118105 hasConceptScore W2254118105C11413529 @default.
• W2254118105 hasConceptScore W2254118105C118615104 @default.
• W2254118105 hasConceptScore W2254118105C124304363 @default.
• W2254118105 hasConceptScore W2254118105C138885662 @default.
• W2254118105 hasConceptScore W2254118105C151730666 @default.
• W2254118105 hasConceptScore W2254118105C154945302 @default.
• W2254118105 hasConceptScore W2254118105C156340839 @default.
• W2254118105 hasConceptScore W2254118105C168773769 @default.
• W2254118105 hasConceptScore W2254118105C200415742 @default.
• W2254118105 hasConceptScore W2254118105C2779343474 @default.
• W2254118105 hasConceptScore W2254118105C33923547 @default.
• W2254118105 hasConceptScore W2254118105C41008148 @default.
• W2254118105 hasConceptScore W2254118105C6943359 @default.
• W2254118105 hasConceptScore W2254118105C80444323 @default.
• W2254118105 hasConceptScore W2254118105C81917197 @default.
• W2254118105 hasConceptScore W2254118105C86803240 @default.
• W2254118105 hasLocation W22541181051 @default.
• W2254118105 hasOpenAccess W2254118105 @default.
• W2254118105 hasPrimaryLocation W22541181051 @default.
• W2254118105 hasRelatedWork W147950966 @default.
• W2254118105 hasRelatedWork W1496518193 @default.
• W2254118105 hasRelatedWork W1503377936 @default.
• W2254118105 hasRelatedWork W1553278548 @default.
• W2254118105 hasRelatedWork W1562832747 @default.
• W2254118105 hasRelatedWork W1922664086 @default.

• next