Author:
Gupta Rahul,Roy Subhajit,Meel Kuldeep S.
Publisher
Springer International Publishing
Reference34 articles.
1. Achlioptas, D., Coja-Oghlan, A.: Algorithmic barriers from phase transitions. In: IEEE Symposium on Foundations of Computer Science, pp. 793–802, October 2008. https://doi.org/10.1109/FOCS.2008.11
2. Achlioptas, D.: Random satisfiability. In: Handbook of Satisfiability, pp. 245–270 (2009). https://doi.org/10.3233/978-1-58603-929-5-245
3. Lecture Notes in Computer Science;D Achlioptas,1997
4. Lecture Notes in Computer Science;ASM Aguirre,2001
5. Bayardo Jr., R.J., Pehoushek, J.D.: Counting models using connected components. In: AAAI, pp. 157–162 (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generating Random Instances of Weighted Model Counting;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2023