Soumodev Mal

According to our database, Soumodev Mal authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2022

On the Satisfiability of Context-free String Constraints with Subword-Ordering.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022