{"article":{"@attributes":{"key":"journals\/constraints\/SofranacGP22","mdate":"2024-08-04"},"author":["Boro Sofranac","Ambros M. Gleixner","Sebastian Pokutta"],"title":"An algorithm-independent measure of progress for linear constraint propagation.","pages":"432-455","year":"2022","volume":"27","journal":"Constraints An Int. J.","number":"4","ee":"https:\/\/doi.org\/10.1007\/s10601-022-09338-9","url":"db\/journals\/constraints\/constraints27.html#SofranacGP22"}}