Constructing cycles in the simplex method for DPLL(T)

DOI10.1007/978-3-319-67729-3_13zbMath1444.68170OpenAlexW2755660259MaRDI QIDQ1675808

Bertram Felgenhauer, Aart Middeldorp

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_13

Mathematics Subject Classification ID

Linear programming (90C05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Extreme-point and pivoting methods (90C49)

This page was built for publication: Constructing cycles in the simplex method for DPLL(T)