An empirical study of branching heuristics through the lens of global learning rate
type: Item
instance of: scholarly article
title: An empirical study of branching heuristics through the lens of global learning rate
zbMATH Open document ID: 1496.68304
DOI: 10.1007/978-3-319-66263-3_8
author: Jia Hui Liang
author: V. K. Hari Govind
author: Pascal Poupart
author: Krzysztof Czarnecki
author: Vijay Ganesh
publication date: 2017-11-15T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 6807222
describes a project that uses: Glucose
describes a project that uses: BerkMin
describes a project that uses: Chaff
describes a project that uses: StarExec
describes a project that uses: MiniSat
describes a project that uses: MapleSAT
describes a project that uses: Plingeling
describes a project that uses: CryptoMiniSat
MaRDI profile type: Publication
full work available at URL: 978-3-319-66263-3 8
OpenAlex ID: W2745105271
description: scientific article; zbMATH DE number 6807222