Media type: E-Book; Video Title: Syntax-Guided Quantifier Instantiation Contributor: Preiner, Mathias [Author]; Niemetz, Aina [Other]; Reynolds, Andrew [Other]; Barrett, Clark [Other]; Tinelli, Cesare [Other] Published: [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021 Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021) Extent: 1 Online-Ressource (49 MB, 00:14:09:56) Language: English DOI: 10.5446/54961 Identifier: Origination: Footnote: Audiovisuelles Material Access State: Open Access Rights information: Attribution - Non Commercial (CC BY-NC)