Crossmark

Propagation based local search for bit-precise reasoning

Crossref DOI link: https://doi.org/10.1007/s10703-017-0295-6

Published Online: 2017-10-02

Published Print: 2017-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Niemetz, Aina http://orcid.org/0000-0003-2600-5283
Preiner, Mathias http://orcid.org/0000-0002-7142-6258
Biere, Armin http://orcid.org/0000-0001-7170-9242
Funding

Funding for this research was provided by:

Austrian Science Fund (S11408-N23)
License Information

License valid from 2017-10-02