32 citations · 36 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CC2021
Positive Planar Satisfiability Problems under 3-Connectivity Constraints
Md. Manzurul Hasan, Debajyoti Mondal, Md. Saidur Rahman
A 3-SAT problem is called positive and planar if all the literals are positive and the clause-variable incidence graph (i.e., SAT graph) is planar. The NAE 3-SAT and 1-in-3-SAT are…
cs.SE2021
Investigating Design Anti-pattern and Design Pattern Mutations and Their Change- and Fault-proneness
Zeinab, Kermansaravi, Md Saidur Rahman +3
During software evolution, inexperienced developers may introduce design anti-patterns when they modify their software systems to fix bugs or to add new functionalities based on ch…