Evaluate the collective function of references cited together in a given text segment.
Classify their combined role into one of the following categories: 'method', 'background', or 'result'.

Text:The proof obligations generated by HIPComp are discharged using off-the-shelf constraint solvers (Omega Calculator [14] and Mona [15]).
Category: