Publisher
Springer Nature Switzerland
Reference26 articles.
1. SATLIB - Benchmark. https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html
2. Varisat CDCL solver. https://docs.rs/varisat/latest/varisat/
3. Lecture Notes in Computer Science;R Alur,2001
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);D Ancona,2018
5. Bakillah, M., Liang, S., Zipf, A., Mostafavi, M.A.: A dynamic and context-aware semantic mediation service for discovering and fusion of heterogeneous sensor data. J. Spatial Inform. Sci. 6, 155–185 (06 2013)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献