Affiliation:
1. University of Bath, U.K.
2. Coventry University, U.K.
Abstract
This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through the integration of SAT/SMT technology, the extension of Lazard projection theory, and the development of new algorithms based on CAD technology but without producing CADs themselves. The project also seeks to develop applications of CAD and will focus on applications in the domains of economics and bio-network analysis.
Publisher
Association for Computing Machinery (ACM)
Subject
Microbiology (medical),Immunology,Immunology and Allergy
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Artificial Conflict Sampling for Real Satisfiability Problems;2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09
2. A General Framework for Secrecy Performance Analysis via Quantifier Elimination;IEEE Communications Letters;2022-06