Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

Mathematical Software – ICMS 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-662-44199-2_68 ◽

2014 ◽

pp. 450-457 ◽

Cited By ~ 6

Author(s):

Matthew England ◽

Russell Bradford ◽

James H. Davenport ◽

David Wilson

Keyword(s):

Truth Table ◽

Triangular Decomposition ◽

Cylindrical Algebraic Decomposition ◽

Variable Ordering

Download Full-text

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-08434-3_5 ◽

2014 ◽

pp. 45-60 ◽

Cited By ~ 10

Author(s):

Matthew England ◽

Russell Bradford ◽

Changbo Chen ◽

James H. Davenport ◽

Marc Moreno Maza ◽

...

Keyword(s):

Problem Formulation ◽

Truth Table ◽

Triangular Decomposition ◽

Cylindrical Algebraic Decomposition

Download Full-text

Computing cylindrical algebraic decomposition via triangular decomposition

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576718 ◽

2009 ◽

Cited By ~ 39

Author(s):

Changbo Chen ◽

Marc Moreno Maza ◽

Bican Xia ◽

Lu Yang

Keyword(s):

Triangular Decomposition ◽

Cylindrical Algebraic Decomposition

Download Full-text

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks

Lecture Notes in Computer Science - Mathematical Software – ICMS 2020 ◽

10.1007/978-3-030-52200-1_28 ◽

2020 ◽

pp. 281-291 ◽

Cited By ~ 1

Author(s):

Changbo Chen ◽

Zhangpeng Zhu ◽

Haoyu Chi

Keyword(s):

Neural Networks ◽

Artificial Neural Networks ◽

Cylindrical Algebraic Decomposition ◽

Variable Ordering ◽

Selection For ◽

Artificial Neural

Download Full-text

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-08434-3_8 ◽

2014 ◽

pp. 92-107 ◽

Cited By ~ 19

Author(s):

Zongyan Huang ◽

Matthew England ◽

David Wilson ◽

James H. Davenport ◽

Lawrence C. Paulson ◽

...

Keyword(s):

Machine Learning ◽

Cylindrical Algebraic Decomposition ◽

Variable Ordering

Download Full-text

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure

Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3452143.3465520 ◽

2021 ◽

Author(s):

Haokun Li ◽

Bican Xia ◽

Huiying Zhang ◽

Tao Zheng

Keyword(s):

Cylindrical Algebraic Decomposition ◽

Variable Ordering

Download Full-text

Truth table invariant cylindrical algebraic decomposition

Journal of Symbolic Computation ◽

10.1016/j.jsc.2015.11.002 ◽

2016 ◽

Vol 76 ◽

pp. 1-35 ◽

Cited By ~ 20

Author(s):

Russell Bradford ◽

James H. Davenport ◽

Matthew England ◽

Scott McCallum ◽

David Wilson

Keyword(s):

Truth Table ◽

Cylindrical Algebraic Decomposition

Download Full-text

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

Computer Algebra in Scientific Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10515-4_4 ◽

2014 ◽

pp. 44-58 ◽

Cited By ~ 15

Author(s):

Russell Bradford ◽

Changbo Chen ◽

James H. Davenport ◽

Matthew England ◽

Marc Moreno Maza ◽

...

Keyword(s):

Truth Table ◽

Cylindrical Algebraic Decomposition ◽

Regular Chains

Download Full-text

Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-030-23250-4_7 ◽

2019 ◽

pp. 93-108 ◽

Cited By ~ 4

Author(s):

Matthew England ◽

Dorian Florescu

Keyword(s):

Machine Learning ◽

Learning Models ◽

Cylindrical Algebraic Decomposition ◽

Variable Ordering ◽

Machine Learning Models

Download Full-text

A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

ACM Communications in Computer Algebra ◽

10.1145/2733693.2733706 ◽

2015 ◽

Vol 48 (3/4) ◽

pp. 121-123

Author(s):

Zongyan Huang ◽

Matthew England ◽

David Wilson ◽

James H. Davenport ◽

Lawrence C. Paulson

Keyword(s):

Cylindrical Algebraic Decomposition ◽

Variable Ordering

Download Full-text

Combinational Logic Analysis Using Laser Voltage Probing

ISTFA 2015: Conference Proceedings from the 41st International Symposium for Testing and Failure Analysis ◽

10.31399/asm.cp.istfa2015p0035 ◽

2015 ◽

Author(s):

Venkat Krishnan Ravikumar ◽

Winson Lua ◽

Seah Yi Xuan ◽

Gopinath Ranganathan ◽

Angeline Phoa

Keyword(s):

Failure Analysis ◽

Continuous Wave ◽

Truth Table ◽

Combinational Logic ◽

Infra Red ◽

Analysis Design ◽

Logic State

Abstract Laser Voltage Probing (LVP) using continuous-wave near infra-red lasers are popular for failure analysis, design and test debug. LVP waveforms provide information on the logic state of the circuitry. This paper aims to explain the waveforms observed from combinational circuitries and use it to rebuild the truth table.

Download Full-text