Algorithmically generating new algebraic features of polynomial systems for machine learning

3 June 2019

Papers citing "Algorithmically generating new algebraic features of polynomial systems for machine learning"

5 / 5 papers shown

Title
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition Matthew England Dorian Florescu 13 25 0 24 Apr 2019
Using Machine Learning to Improve Cylindrical Algebraic Decomposition Zongyan Huang Matthew England D. Wilson J. Davenport Lawrence Charles Paulson 41 24 0 26 Apr 2018
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases Zongyan Huang Matthew England J. Davenport Lawrence Charles Paulson 23 26 0 15 Aug 2016
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition Zongyan Huang Matthew England D. Wilson J. Davenport Lawrence Charles Paulson James P. Bridge 55 57 0 25 Apr 2014
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 95 969 0 31 Oct 2011