Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation
Crossref DOI link: https://doi.org/10.1007/s10817-018-9493-1
Published Online: 2018-11-08
Published Print: 2019-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wang, Wenxi
Søndergaard, Harald http://orcid.org/0000-0002-2352-1883
Stuckey, Peter J.
Funding for this research was provided by:
Australian Research Council (DP140102194)
Text and Data Mining valid from 2018-11-08
Version of Record valid from 2018-11-08
Article History
Received: 28 June 2017
Accepted: 26 October 2018
First Online: 8 November 2018