Evaluating logic gate constraints in local search for structured satisfiability problems

M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton 0001, Kaile Su, Abdul Sattar 0001. Evaluating logic gate constraints in local search for structured satisfiability problems. Artif. Intell. Rev., 54(7):5347-5411, 2021. [doi]

@article{NewtonAPTSS21,
  title = {Evaluating logic gate constraints in local search for structured satisfiability problems},
  author = {M. A. Hakim Newton and Md. Masbaul Alam and Duc Nghia Pham and John Thornton 0001 and Kaile Su and Abdul Sattar 0001},
  year = {2021},
  doi = {10.1007/s10462-021-10024-0},
  url = {https://doi.org/10.1007/s10462-021-10024-0},
  researchr = {https://researchr.org/publication/NewtonAPTSS21},
  cites = {0},
  citedby = {0},
  journal = {Artif. Intell. Rev.},
  volume = {54},
  number = {7},
  pages = {5347-5411},
}