Armin Biere
banner
arminbiere.bsky.social
Armin Biere
@arminbiere.bsky.social
SAT Solver Hacker, Professor, University of Freiburg
I really hope so. This was one of the distinguishing features of LIPiCS to have "what you latex is what you get". Other publishers forced additional processing to the paper before PDF production which more often than not destroyed our carefully typed papers.
February 10, 2025 at 6:14 AM