Satyam Shubham

According to our database, Satyam Shubham authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

LInC-BMC: A Lookahead Informed Clause Deletion Mechanism for Bounded Model Checking.

Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly

Proceedings of the 39th International Conference on VLSI Design & 25th International Conference on Embedded Systems, 2026

2025

New Branching Heuristics for Incremental Bounded Model Checking.

Satyam Shubham, Sutirtha Bhattacharyya, Ansuman Banerjee, Raj Kumar Gajavelly

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2025