Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102817144> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2102817144 abstract "One approach for the verification of embedded systems, where discrete control is embedded in a continuous environment, is bounded model checking of linear hybrid automata. As a decision procedure within this context, a combination of a propositional SAT-solver and an LP-solver can be used. For such combined SAT-LP solvers, it is, among others, an open question how a robust, i.e., reliable, variable selection heuristics should be designed. In this work we investigate the design of such heuristics taking into account (1) the algorithmic structure of the combined SAT-LP-solver, and (2) efficiency issues in form of a counter-based design that adapts the popular concept of the VSIDS heuristics of Chaff. An empirical analysis of our framework shows (1) the importance of guard variables related to real-valued constraints and (2) reveals an ambiguity between the number of calls of the LP-solver and the time used by the LP-solver. As a result, we propose a simple, but efficient, variable selection heuristics that takes our observations into account and experimentally overcomes the limitations of existing ones." @default.
- W2102817144 created "2016-06-24" @default.
- W2102817144 creator A5038861833 @default.
- W2102817144 creator A5057642707 @default.
- W2102817144 creator A5057966343 @default.
- W2102817144 creator A5068015318 @default.
- W2102817144 date "2007-01-01" @default.
- W2102817144 modified "2023-10-16" @default.
- W2102817144 title "On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata" @default.
- W2102817144 cites W1583869287 @default.
- W2102817144 cites W2004463571 @default.
- W2102817144 cites W2006574672 @default.
- W2102817144 cites W2057361103 @default.
- W2102817144 cites W2057832617 @default.
- W2102817144 cites W2086163366 @default.
- W2102817144 cites W2086599114 @default.
- W2102817144 cites W2113236984 @default.
- W2102817144 cites W2117087357 @default.
- W2102817144 cites W2142785340 @default.
- W2102817144 cites W2147340401 @default.
- W2102817144 cites W2152225273 @default.
- W2102817144 cites W56814239 @default.
- W2102817144 cites W2516150756 @default.
- W2102817144 cites W2611819098 @default.
- W2102817144 doi "https://doi.org/10.1109/ddecs.2007.4295318" @default.
- W2102817144 hasPublicationYear "2007" @default.
- W2102817144 type Work @default.
- W2102817144 sameAs 2102817144 @default.
- W2102817144 citedByCount "1" @default.
- W2102817144 crossrefType "proceedings-article" @default.
- W2102817144 hasAuthorship W2102817144A5038861833 @default.
- W2102817144 hasAuthorship W2102817144A5057642707 @default.
- W2102817144 hasAuthorship W2102817144A5057966343 @default.
- W2102817144 hasAuthorship W2102817144A5068015318 @default.
- W2102817144 hasConcept C11413529 @default.
- W2102817144 hasConcept C126255220 @default.
- W2102817144 hasConcept C127705205 @default.
- W2102817144 hasConcept C134306372 @default.
- W2102817144 hasConcept C151730666 @default.
- W2102817144 hasConcept C154945302 @default.
- W2102817144 hasConcept C173801870 @default.
- W2102817144 hasConcept C182365436 @default.
- W2102817144 hasConcept C2778770139 @default.
- W2102817144 hasConcept C2779343474 @default.
- W2102817144 hasConcept C33923547 @default.
- W2102817144 hasConcept C34388435 @default.
- W2102817144 hasConcept C41008148 @default.
- W2102817144 hasConcept C6943359 @default.
- W2102817144 hasConcept C80444323 @default.
- W2102817144 hasConcept C86803240 @default.
- W2102817144 hasConceptScore W2102817144C11413529 @default.
- W2102817144 hasConceptScore W2102817144C126255220 @default.
- W2102817144 hasConceptScore W2102817144C127705205 @default.
- W2102817144 hasConceptScore W2102817144C134306372 @default.
- W2102817144 hasConceptScore W2102817144C151730666 @default.
- W2102817144 hasConceptScore W2102817144C154945302 @default.
- W2102817144 hasConceptScore W2102817144C173801870 @default.
- W2102817144 hasConceptScore W2102817144C182365436 @default.
- W2102817144 hasConceptScore W2102817144C2778770139 @default.
- W2102817144 hasConceptScore W2102817144C2779343474 @default.
- W2102817144 hasConceptScore W2102817144C33923547 @default.
- W2102817144 hasConceptScore W2102817144C34388435 @default.
- W2102817144 hasConceptScore W2102817144C41008148 @default.
- W2102817144 hasConceptScore W2102817144C6943359 @default.
- W2102817144 hasConceptScore W2102817144C80444323 @default.
- W2102817144 hasConceptScore W2102817144C86803240 @default.
- W2102817144 hasLocation W21028171441 @default.
- W2102817144 hasOpenAccess W2102817144 @default.
- W2102817144 hasPrimaryLocation W21028171441 @default.
- W2102817144 hasRelatedWork W1970049786 @default.
- W2102817144 hasRelatedWork W1991970232 @default.
- W2102817144 hasRelatedWork W2029570945 @default.
- W2102817144 hasRelatedWork W2075418056 @default.
- W2102817144 hasRelatedWork W2783011138 @default.
- W2102817144 hasRelatedWork W2787628741 @default.
- W2102817144 hasRelatedWork W3018258968 @default.
- W2102817144 hasRelatedWork W3049051839 @default.
- W2102817144 hasRelatedWork W3190612470 @default.
- W2102817144 hasRelatedWork W4294065234 @default.
- W2102817144 isParatext "false" @default.
- W2102817144 isRetracted "false" @default.
- W2102817144 magId "2102817144" @default.
- W2102817144 workType "article" @default.