Author:
Boreale Michele,Gorla Daniele
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;D Achlioptas,2017
2. Babai, L., Frankl, P.: Linear Algebra Methods in Combinatorics. The University of Chicago, Chicago (1992)
3. Lecture Notes in Computer Science;F Biondi,2018
4. Boreale, M., Gorla, D.: Approximate model counting, sparse XOR constraints and minimum distance. https://arxiv.org/abs/1907.05121 (2019)
5. Bose, R.C., Ray-Chaudhuri, D.K.: On a class of error correcting binary group codes. Inf. Control 3(1), 68–79 (1960)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Applications of #SAT Solvers on Feature Models;15th International Working Conference on Variability Modelling of Software-Intensive Systems;2021-02-09
2. Approximate Model Counting, Sparse XOR Constraints and Minimum Distance;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019