2020-06-26 16:50:12 (GMT)
Same question as last time: is anyone going to attend the next meeting? It conflicts with the QBF workshop and it is reght after SAT, IJCAR, the SMT workshop, and so on. Please vote if you plan to attend.
2020-06-26 16:54:3 (GMT)
Bohua Zhan
AUTO2, a saturation-based heuristic prover for higher-order logic
ITP 2016
https://arxiv.org/pdf/1605.07577.pdf
2020-06-26 16:56:2 (GMT)
To continue our discussion on potential CDCL changes for SMT:
Alexandra Goultiaeva and Fahiem Bacchus
Off the Trail: Re-examining the CDCL Algorithm
http://www.cs.toronto.edu/~fbacchus/Papers/GB_SAT2012.pdf