2 papers
cs.CV2021
A novel segmentation dataset for signatures on bank checks
Muhammad Saif Ullah Khan
The dataset presented provides high-resolution images of real, filled out bank checks containing various complex backgrounds, and handwritten text and signatures in the respective…
cs.AI2020
Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products
Daya Gaur, Muhammad Khan
We study the design of stochastic local search methods to prove unsatisfiability of a constraint satisfaction problem (CSP). For a binary CSP, such methods have been designed using…