Heule, Marijn J. H.
Seidl, Martina
Biere, Armin
Funding for this research was provided by:
Division of Computing and Communication Foundations (1618574)
Air Force Research Laboratory (FA8750-15-2-0096)
Austrian Science Fund (S11408-N23, S11408-N23)
Vienna Science and Technology Fund (ICT10-018)
Article History
Received: 15 September 2016
Accepted: 7 October 2016
First Online: 5 November 2016