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]
Abstract is missing.