Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - In various applications the search for certificates for certain properties (e.g., stability of dynamical systems, program termination) can be formulated as a quantified constraint solving problem with quantifier prefix exists-forall. In this paper, we present an algorithm for solving a certain class of such problems based on interval techniques in combination with conservative linear programming approximation. In comparison with previous work, the method is more general-allowing general Boolean structure in the input constraint, and more efficient-using splitting heuristics that learn from the success of previous linear programming approximations.
- In various applications the search for certificates for certain properties (e.g., stability of dynamical systems, program termination) can be formulated as a quantified constraint solving problem with quantifier prefix exists-forall. In this paper, we present an algorithm for solving a certain class of such problems based on interval techniques in combination with conservative linear programming approximation. In comparison with previous work, the method is more general-allowing general Boolean structure in the input constraint, and more efficient-using splitting heuristics that learn from the success of previous linear programming approximations. (en)
|
Title
| - Efficient solution of a class of quantified constraints with quantifier prefix exists-forall
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (en)
|
skos:prefLabel
| - Efficient solution of a class of quantified constraints with quantifier prefix exists-forall
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (en)
|
skos:notation
| - RIV/00216208:11320/14:10282496!RIV15-MSM-11320___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - I, P(GA13-10660S), P(GCP202/12/J060)
|
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11320/14:10282496
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Interval computation; Decision procedures; Constraint solving (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| - CH - Švýcarská konfederace
|
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - Mathematics in Computer Science
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Hladík, Milan
- Ratschan, Stefan
|
issn
| |
number of pages
| |
http://bibframe.org/vocab/doi
| - 10.1007/s11786-014-0195-8
|
http://localhost/t...ganizacniJednotka
| |