2024-03-29T11:38:08Z
https://oai.zbmath.org/v1/
oai:zbmath.org:6374370
2014-11-27T08:29:34Z
65
Hladík, Milan; Ratschan, Stefan
2014
6374370
English
Springer (Birkhäuser), Basel
https://zbmath.org/06374370
Content generated by zbMATH Open, such as reviews,
classifications, software, or author disambiguation data,
are distributed under CC-BY-SA 4.0. This defines the license for the
whole dataset, which also contains non-copyrighted bibliographic
metadata and reference data derived from I4OC (CC0). Note that the API
only provides a subset of the data in the zbMATH Open Web interface. In
several cases, third-party information, such as abstracts, cannot be
made available under a suitable license through the API. In those cases,
we replaced the data with the string 'zbMATH Open Web Interface contents
unavailable due to conflicting licenses.'
Math. Comput. Sci. 8, No. 3-4, 329-340 (2014).
65G20; 65H20; 65G30
Efficient solution of a class of quantified constraints with quantifier prefix exists-forall
j