FRINK Linked Data Fragments server

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

• W3161511937 endingPage "1364" @default.
• W3161511937 startingPage "1351" @default.
• W3161511937 abstract "In this article, we revisit the topic of generalizing proof obligations (POs) in bit-level property directed reachability (PDR). We provide a comprehensive study which: 1) determines the complexity of the problem; 2) thoroughly analyzes limitations of existing methods; 3) introduces approaches to PO generalization that have never been used in the context of PDR; 4) compares the strengths of different methods from a theoretical point of view; and 5) intensively evaluates the methods on various benchmarks from the hardware model checking as well as from AI planning." @default.
• W3161511937 created "2021-05-24" @default.
• W3161511937 creator A5002292119 @default.
• W3161511937 creator A5006930111 @default.
• W3161511937 creator A5021288142 @default.
• W3161511937 creator A5038861833 @default.
• W3161511937 creator A5058020230 @default.
• W3161511937 creator A5079906358 @default.
• W3161511937 date "2023-04-01" @default.
• W3161511937 modified "2023-09-24" @default.
• W3161511937 title "Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR" @default.
• W3161511937 cites W1523041988 @default.
• W3161511937 cites W1531103278 @default.
• W3161511937 cites W1540013686 @default.
• W3161511937 cites W1566132409 @default.
• W3161511937 cites W1571484390 @default.
• W3161511937 cites W1975041710 @default.
• W3161511937 cites W2025995266 @default.
• W3161511937 cites W2046239089 @default.
• W3161511937 cites W2048644716 @default.
• W3161511937 cites W2071319337 @default.
• W3161511937 cites W2077655685 @default.
• W3161511937 cites W2103375392 @default.
• W3161511937 cites W2189084874 @default.
• W3161511937 cites W2396495791 @default.
• W3161511937 cites W2401610261 @default.
• W3161511937 cites W2405109576 @default.
• W3161511937 cites W2514073783 @default.
• W3161511937 cites W2785837881 @default.
• W3161511937 cites W2799098646 @default.
• W3161511937 cites W2809690215 @default.
• W3161511937 cites W2945072110 @default.
• W3161511937 cites W3002244537 @default.
• W3161511937 cites W3138459719 @default.
• W3161511937 cites W3186430299 @default.
• W3161511937 cites W4231640108 @default.
• W3161511937 cites W427023237 @default.
• W3161511937 cites W81626549 @default.
• W3161511937 cites W2798313665 @default.
• W3161511937 doi "https://doi.org/10.1109/tcad.2022.3198260" @default.
• W3161511937 hasPublicationYear "2023" @default.
• W3161511937 type Work @default.
• W3161511937 sameAs 3161511937 @default.
• W3161511937 citedByCount "0" @default.
• W3161511937 crossrefType "journal-article" @default.
• W3161511937 hasAuthorship W3161511937A5002292119 @default.
• W3161511937 hasAuthorship W3161511937A5006930111 @default.
• W3161511937 hasAuthorship W3161511937A5021288142 @default.
• W3161511937 hasAuthorship W3161511937A5038861833 @default.
• W3161511937 hasAuthorship W3161511937A5058020230 @default.
• W3161511937 hasAuthorship W3161511937A5079906358 @default.
• W3161511937 hasBestOaLocation W31615119372 @default.
• W3161511937 hasConcept C111472728 @default.
• W3161511937 hasConcept C111919701 @default.
• W3161511937 hasConcept C124978682 @default.
• W3161511937 hasConcept C134306372 @default.
• W3161511937 hasConcept C136643341 @default.
• W3161511937 hasConcept C138885662 @default.
• W3161511937 hasConcept C151730666 @default.
• W3161511937 hasConcept C177148314 @default.
• W3161511937 hasConcept C189950617 @default.
• W3161511937 hasConcept C2524010 @default.
• W3161511937 hasConcept C2779343474 @default.
• W3161511937 hasConcept C28719098 @default.
• W3161511937 hasConcept C33923547 @default.
• W3161511937 hasConcept C41008148 @default.
• W3161511937 hasConcept C80444323 @default.
• W3161511937 hasConcept C86803240 @default.
• W3161511937 hasConceptScore W3161511937C111472728 @default.
• W3161511937 hasConceptScore W3161511937C111919701 @default.
• W3161511937 hasConceptScore W3161511937C124978682 @default.
• W3161511937 hasConceptScore W3161511937C134306372 @default.
• W3161511937 hasConceptScore W3161511937C136643341 @default.
• W3161511937 hasConceptScore W3161511937C138885662 @default.
• W3161511937 hasConceptScore W3161511937C151730666 @default.
• W3161511937 hasConceptScore W3161511937C177148314 @default.
• W3161511937 hasConceptScore W3161511937C189950617 @default.
• W3161511937 hasConceptScore W3161511937C2524010 @default.
• W3161511937 hasConceptScore W3161511937C2779343474 @default.
• W3161511937 hasConceptScore W3161511937C28719098 @default.
• W3161511937 hasConceptScore W3161511937C33923547 @default.
• W3161511937 hasConceptScore W3161511937C41008148 @default.
• W3161511937 hasConceptScore W3161511937C80444323 @default.
• W3161511937 hasConceptScore W3161511937C86803240 @default.
• W3161511937 hasIssue "4" @default.
• W3161511937 hasLocation W31615119371 @default.
• W3161511937 hasLocation W31615119372 @default.
• W3161511937 hasOpenAccess W3161511937 @default.
• W3161511937 hasPrimaryLocation W31615119371 @default.
• W3161511937 hasRelatedWork W1607705647 @default.
• W3161511937 hasRelatedWork W2096848550 @default.
• W3161511937 hasRelatedWork W2104258858 @default.
• W3161511937 hasRelatedWork W2153061979 @default.
• W3161511937 hasRelatedWork W2901128785 @default.
• W3161511937 hasRelatedWork W3026940864 @default.
• W3161511937 hasRelatedWork W3125488504 @default.
• W3161511937 hasRelatedWork W3161511937 @default.
• W3161511937 hasRelatedWork W381935118 @default.

• next