Crossmark

Evaluating logic gate constraints in local search for structured satisfiability problems

Crossref DOI link: https://doi.org/10.1007/s10462-021-10024-0

Published Online: 2021-06-16

Published Print: 2021-10

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

Authors

Newton, M. A. H. https://orcid.org/0000-0001-5655-0683
Polash, M. M. A.

Pham, D. N.

Thornton, J.

Su, K.

Sattar, A.
Funding

Funding for this research was provided by:

Australian Research Council (DP150101618)
License Information

Text and Data Mining valid from 2021-06-16

Version of Record valid from 2021-06-16
More Information

Article History

First Online: 16 June 2021