Applying aspiration in local search for satisfiability

• Cong Peng ,

  Roles Data curation, Methodology, Software, Validation, Writing – original draft, Writing – review & editing

  * E-mail: ppcc1988@outlook.com

  Affiliations School of Electronic Information Engineering, Tongji University, Shanghai, China, LIACS, Leiden University, Leiden, the Netherlands

  http://orcid.org/0000-0001-8070-9092

  ⨯
• Zhongwei Xu,

  Roles Data curation, Validation, Writing – review & editing

  Affiliation School of Electronic Information Engineering, Tongji University, Shanghai, China

  ⨯
• Meng Mei

  Roles Validation, Writing – review & editing

  Affiliation School of Electronic Information Engineering, Tongji University, Shanghai, China

  ⨯