"Unit Read-once Refutations for Systems of Difference Constraints."

K. Subramani, Piotr Wojciechowski (2023)
[–] 

Details and statistics

DOI: 10.1007/S00224-023-10134-Y

access: closed

type: Journal Article

metadata version: 2024-02-09