Document is current
Any future updates will be listed below
-
Authors
Kiesl, Benjamin http://orcid.org/0000-0003-3522-3653
Rebola-Pardo, Adrián
Heule, Marijn J. H.
Biere, Armin
-
Funding
Funding for this research was provided by:
National Science Foundation (CCF- 1910438)
Austrian Science Fund (W1255-N23)
Vienna Science and Technology Fund (VRG11-005, ICT15-103)
Microsoft Research
- License Information
-
More Information
Article History
Received: 17 April 2020
Accepted: 20 April 2020
First Online: 31 July 2020
