A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs

From MaRDI portal
Publication:5041068

DOI10.1007/978-3-030-52200-1_30zbMath1503.68311arXiv2005.11251OpenAlexW3026474523MaRDI QIDQ5041068

Matthew England, Dorian Florescu

Publication date: 13 October 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.11251




Related Items (1)


Uses Software


Cites Work


This page was built for publication: A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs