Cited By
View all- Wang ZLiu KXu C(2023)A Bloom Filter-based Algorithm for Fast Detection of Common Variables2023 International Conference on Frontiers of Robotics and Software Engineering (FRSE)10.1109/FRSE58934.2023.00015(50-56)Online publication date: Jun-2023
- Sadeg SHamdad LChettab HBenatchba KHabbas ZKechadi M(2020)Feature selection based bee swarm meta-heuristic approach for combinatorial optimisation problems: a case-study on MaxSATMemetic Computing10.1007/s12293-020-00310-912:4(283-298)Online publication date: 22-Oct-2020
- Bao FGutierrez CJn Charles-Blount JYan YZhang Y(2018)Accelerating Boolean Satisfiability (SAT) solving by common subclause eliminationArtificial Intelligence Review10.1007/s10462-016-9530-649:3(439-453)Online publication date: 1-Mar-2018
- Show More Cited By