Conference on Automated Deduction
container_knemldwow5adthakfcagposgzm
Homepage URLs
http://www.cs.albany.edu/~nvm/cade.html |
Example Publications
Efficient Implementation of Large-Scale Watchlists
Constantin Ruhdorfer, Stephan Schulz
2020
|
Conference on Automated Deduction
dblp:conf/cade/Ruhdorfer020
Ordered Resolution with Straight Dismatching Constraints
Andreas Teucke, Christoph Weidenbach
2016
|
Conference on Automated Deduction
dblp:conf/cade/TeuckeW16
Set of Support for Higher-Order Reasoning
Ahmed Bhayat, Giles Reger
2018
|
Conference on Automated Deduction
dblp:conf/cade/BhayatR18
Proof Search Optimizations for Non-Clausal Connection Calculi
Jens Otten
2018
|
Conference on Automated Deduction
dblp:conf/cade/Otten18
VolCE: An Efficient Tool for Solving #SMT(LA) Problems
Cunjing Ge, Feifei Ma, Jian Zhang
2018
|
Conference on Automated Deduction
dblp:conf/cade/GeM018
232
Known Releases
Preservation Summary [more]
131 | preserved and accessble (bright) | |
0 | preserved, inaccessible (dark) | |
101 | no known preservation |
Publication Type
conference-series
Lookup Links