共 50 条
- [1] Non-linear equations systems solver ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, 1996, 35 : 330 - 339
- [4] Switching activity estimation in non-linear architectures INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION, 2003, 2799 : 269 - 278
- [5] Assertion checking of behavioral descriptions with non-linear solver 2005 IEEE International Conference on Computer Design: VLSI in Computers & Processors, Proceedings, 2005, : 229 - 231
- [7] Task-Based Sparse Hybrid Linear Solver for Distributed Memory Heterogeneous Architectures EURO-PAR 2016: PARALLEL PROCESSING WORKSHOPS, 2017, 10104 : 83 - 95
- [8] An SMT solver for non-linear real arithmetic inside Maple ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2022, 56 (02): : 76 - 79
- [9] Solving non-linear Horn clauses using a linear Horn clause solver ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (219): : 33 - 48