On the parametrized complexity of Read-once refutations in UTVPI+ constraint systems
unit two variable per inequality constraints
scientific article; zbMATH DE number 7387689
scientific article