New Directions in Cylindrical Algebraic Decomposition
Offered By: Fields Institute via YouTube
Course Description
Overview
Explore new research directions in Cylindrical Algebraic Decomposition (CAD) through this 36-minute lecture by Matthew England from Coventry University, UK. Delve into two key areas of advancement: the development of search-based algorithms utilizing CAD theory for solving non-linear polynomial constraint problems, and the application of machine learning to improve heuristics in CAD computation. Gain insights into how these innovations address the challenge of doubly exponential complexity in CAD, potentially expanding its practical applications. Learn about the integration of CAD with SAT/SMT techniques and discover how machine learning algorithms outperform traditional human-designed heuristics in making critical decisions during CAD computation.
Syllabus
New Directions in Cylindrical Algebraic Decomposition
Taught by
Fields Institute
Related Courses
Ser más creativosUniversidad Nacional Autónoma de México via Coursera Advanced Data Structures in Java
University of California, San Diego via Coursera Programmation objet immersive en Pharo
Inria (French Institute for Research in Computer Science and Automation) via France Université Numerique Methods for Solving Problems
University of Colorado Boulder via Coursera Interpersonal, Developmental, and Evolutionary Perspectives of the Mind
University of Colorado Boulder via Coursera