The following publications are possibly variants of this publication:
- Unit Read-once Refutations for Systems of Difference ConstraintsK. Subramani, Piotr Wojciechowski 0002. mst, 67(4):877-899, August 2023. [doi]
- Unit Refutations of Difference Constraint SystemsK. Subramani, Piotr Wojciechowski 0001. ecai 2023: 2226-2233 [doi]
- On the parametrized complexity of read-once refutations in UTVPI+ constraint systemsK. Subramani, Piotr J. Wojciechowski. TCS, 883:1-18, 2021. [doi]
- Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint SystemsK. Subramani, Piotr J. Wojciechowski. lfcs 2022: 327-345 [doi]
- On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint SystemsK. Subramani, Piotr J. Wojciechowski. tamc 2022: 293-304 [doi]
- Read-once refutations in Horn constraint systems: an algorithmic approachK. Subramani, Piotr J. Wojciechowski, Ying Sheng 0007. logcom, 32(4):667-696, 2022. [doi]
- Tree-Like Unit Refutations in Horn Constraint SystemsK. Subramani, Piotr J. Wojciechowski. LATA 2021: 226-237 [doi]
- Optimal Length Resolution Refutations of Difference Constraint SystemsK. Subramani. JAR, 43(2):121-137, 2009. [doi]
- Finding read-once resolution refutations in systems of 2CNF clausesHans Kleine Büning, Piotr J. Wojciechowski, K. Subramani. TCS, 729:42-56, 2018. [doi]
- A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint SystemsBugra Caskurlu, Matthew D. Williamson, K. Subramani, Vahan Mkrtchyan, Piotr J. Wojciechowski. caldam 2018: 45-58 [doi]
- Improved algorithms for optimal length resolution refutation in difference constraint systemsK. Subramani, Matthew Williamson, Xiaofeng Gu. fac, 25(2):319-341, 2013. [doi]