Torsten Schaub

https://www.cs.uni-potsdam.de/~torsten [email protected]

University of Potsdam Potsdam, Germany

Results 1 comments of


                                            Torsten Schaub

Documentation should say explicitly that costs in #maximize are turned negative by their compilation to #minimize statements.

Merci vielmals, @chenkins!