Quality and Bias
Attributed to:
Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://shop.bcs.org/store/221/detail/workgroup?id=3-221-9781780175768
Type: Book Chapter
Book Title: Artificial Intelligence and Software Testing (2022)
Page Reference: 24-37
ISBN: 978-1-78017-5768