2020-04-08 9:3:29 (GMT)
Congrats to @Mathias Fleury and Christoph Weidenbach on their accepted LPAR paper:
A Verified SAT Solver Framework including Optimization and Partial Valuations
2020-04-08 9:5:31 (GMT)
I can't find an online PDF unfortunately. Mathias, are you becoming paranoid about "thieves" like your boss? ;)
2020-04-08 9:8:29 (GMT)
I think I forgot to move it my new home page. Let me check
2020-04-08 9:12:33 (GMT)
Actually I had forgotten to update since the last rejection. Here we go: http://people.mpi-inf.mpg.de/~mfleury/paper/optimizing_cdcl.pdf
2020-04-08 9:13:3 (GMT)
Thanks. Will put this on the IsaFoL wiki