Crossmark

A branching heuristic for SAT solvers based on complete implication graphs

Published Online: 2019-04-17

Published Print: 2019-07

Authors

Xiao, Fan

Li, Chu-Min

Luo, Mao

Manyà, Felip

Lü, Zhipeng

Li, Yu
License Information

Text and Data Mining valid from 2019-04-17

Version of Record valid from 2019-04-17
More Information

Article History

Received: 24 November 2017

Revised: 5 February 2018

Accepted: 20 March 2018

First Online: 17 April 2019

Document is current