-
1
-
-
84926368658
-
On the concentration of the number of solutions of random satisfiability formulas
-
ISSN: 1098-2418, doi:10.1002/rsa.20501
-
Abbe, E., Montanari, A.: On the concentration of the number of solutions of random satisfiability formulas. Random Structures & Algorithms (2013) ISSN: 1098-2418, http://dx.doi.org/10.1002/rsa.20501, doi:10.1002/rsa.20501
-
(2013)
Random Structures & Algorithms
-
-
Abbe, E.1
Montanari, A.2
-
3
-
-
57949110964
-
Algorithmic barriers from phase transitions
-
IEEE Computer Society, Washington, DC
-
Achlioptas, D., Coja-Oghlan, A.: Algorithmic barriers from phase transitions. In: Proceedings of the 2008 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, pp. 793-802. IEEE Computer Society, Washington, DC (2008)
-
(2008)
Proceedings of the 2008 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008
, pp. 793-802
-
-
Achlioptas, D.1
Coja-Oghlan, A.2
-
4
-
-
67650957898
-
Why almost all satisfiable k-cnf formulas are easy
-
Krivelevich, M., Coja-Oghlan, A., Vilenchik, D.: Why almost all satisfiable k-cnf formulas are easy. In: Proceedings of the 13th International Conference on Analysis of Algorithms, pp. 89-102 (2007)
-
(2007)
Proceedings of the 13th International Conference on Analysis of Algorithms
, pp. 89-102
-
-
Krivelevich, M.1
Coja-Oghlan, A.2
Vilenchik, D.3
-
5
-
-
9444229277
-
Hiding satisfying assignments: Two are better than one
-
Achlioptas, D., Jia, H., Moore, C.: Hiding satisfying assignments: two are better than one. In: Proceedings of AAAI 2004, pp. 131-136 (2004)
-
(2004)
Proceedings of AAAI 2004
, pp. 131-136
-
-
Achlioptas, D.1
Jia, H.2
Moore, C.3
-
7
-
-
0036103236
-
Two-coloring random hypergraphs
-
Achlioptas, D., Han Kim, J., Krivelevich, M., Tetali, P.: Two-coloring random hypergraphs. Random Structures and Algorithms 20(2), 249-259 (2002)
-
(2002)
Random Structures and Algorithms
, vol.20
, Issue.2
, pp. 249-259
-
-
Achlioptas, D.1
Han Kim, J.2
Krivelevich, M.3
Tetali, P.4
-
8
-
-
84886587124
-
Can rare SAT formulas be easily recognized? On the efficiency of message passing algorithms for K-SAT at large clause-to-variable ratios
-
Altarelli, F., Monasson, R., Zamponi, F.: Can rare SAT formulas be easily recognized? On the efficiency of message passing algorithms for K-SAT at large clause-to-variable ratios. Computing Research Repository abs/cs/060 (2006)
-
(2006)
Computing Research Repository Abs/cs/060
-
-
Altarelli, F.1
Monasson, R.2
Zamponi, F.3
-
9
-
-
20544464593
-
Rigorous Location of Phase Transitions in Hard Optimization Problems
-
Achlioptas, D., Naor, A., Peres, Y.: Rigorous Location of Phase Transitions in Hard Optimization Problems. Nature 435, 759-764 (2005)
-
(2005)
Nature
, vol.435
, pp. 759-764
-
-
Achlioptas, D.1
Naor, A.2
Peres, Y.3
-
10
-
-
77954710511
-
Combinatorial approach to the interpolation method and scaling limits in sparse random graphs
-
June
-
Bayati, M., Gamarnik, D., Tetali, P.: Combinatorial approach to the interpolation method and scaling limits in sparse random graphs. In: 42nd Annual ACM Symposium on Theory of Computing, Cambridge, MA, pp. 105-114 (June 2010)
-
(2010)
42nd Annual ACM Symposium on Theory of Computing, Cambridge, MA
, pp. 105-114
-
-
Bayati, M.1
Gamarnik, D.2
Tetali, P.3
-
11
-
-
19044390031
-
Hiding solutions in random satisfiability problems: A statistical mechanics approach
-
Barthel, W., Hartmann, A.K., Leone, M., Ricci-Tersenghi, F., Weigt, M., Zecchina, R.: Hiding solutions in random satisfiability problems: A statistical mechanics approach. Phys. Rev. Lett. 88, 188701 (2002)
-
(2002)
Phys. Rev. Lett.
, vol.88
, pp. 188701
-
-
Barthel, W.1
Hartmann, A.K.2
Leone, M.3
Ricci-Tersenghi, F.4
Weigt, M.5
Zecchina, R.6
-
12
-
-
0017973512
-
On the inherent intractability of certain coding problems (corresp.)
-
Berlekamp, E., McEliece, R.J., Van Tilborg, H.C.A.: On the inherent intractability of certain coding problems (corresp.). IEEE Transactions on Information Theory 24(3), 384-386 (1978)
-
(1978)
IEEE Transactions on Information Theory
, vol.24
, Issue.3
, pp. 384-386
-
-
Berlekamp, E.1
McEliece, R.J.2
Van Tilborg, H.C.A.3
-
13
-
-
77951254878
-
Graph partitioning via adaptive spectral techniques
-
Coja-oghlan, A.: Graph partitioning via adaptive spectral techniques. Comb. Probab. Comput. 19(2), 227-284 (2010)
-
(2010)
Comb. Probab. Comput.
, vol.19
, Issue.2
, pp. 227-284
-
-
Coja-oghlan, A.1
-
14
-
-
0002706976
-
The solution of some random np-hard problems in polynomial expected time
-
Dyer, M.E., Frieze, A.M.: The solution of some random np-hard problems in polynomial expected time. Journal of Algorithms 10(4), 451-489 (1989)
-
(1989)
Journal of Algorithms
, vol.10
, Issue.4
, pp. 451-489
-
-
Dyer, M.E.1
Frieze, A.M.2
-
15
-
-
77955318660
-
Tight thresholds for cuckoo hashing via XORSAT
-
Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010, Part I. Springer, Heidelberg
-
Dietzfelbinger, M., Goerdt, A., Mitzenmacher, M., Montanari, A., Pagh, R., Rink, M.: Tight thresholds for cuckoo hashing via XORSAT. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010, Part I. LNCS, vol. 6198, pp. 213-225. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6198
, pp. 213-225
-
-
Dietzfelbinger, M.1
Goerdt, A.2
Mitzenmacher, M.3
Montanari, A.4
Pagh, R.5
Rink, M.6
-
16
-
-
84555195640
-
Asymptotic analysis of the stochastic block model for modular networks and its algorithmic applications
-
Decelle, A., Krzakala, F., Moore, C., Zdeborová, L.: Asymptotic analysis of the stochastic block model for modular networks and its algorithmic applications. Phys. Rev. E 84, 066106 (2011)
-
(2011)
Phys. Rev. E
, vol.84
, pp. 066106
-
-
Decelle, A.1
Krzakala, F.2
Moore, C.3
Zdeborová, L.4
-
17
-
-
0036957919
-
The 3-XORSAT threshold
-
IEEE Computer Society, Washington, DC
-
Dubois, O., Mandler, J.: The 3-XORSAT threshold. In: Proceedings of the 43rd Symposium on Foundations of Computer Science, FOCS 2002, pp. 769-778. IEEE Computer Society, Washington, DC (2002)
-
(2002)
Proceedings of the 43rd Symposium on Foundations of Computer Science, FOCS 2002
, pp. 769-778
-
-
Dubois, O.1
Mandler, J.2
-
18
-
-
43049149053
-
Random 2-XORSAT at the satisfiability threshold
-
Laber, E.S., Bornstein, C., Nogueira, L.T., Faria, L. (eds.) LATIN 2008. Springer, Heidelberg
-
Daudé, H., Ravelomanana, V.: Random 2-XORSAT at the satisfiability threshold. In: Laber, E.S., Bornstein, C., Nogueira, L.T., Faria, L. (eds.) LATIN 2008. LNCS, vol. 4957, pp. 12-23. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4957
, pp. 12-23
-
-
Daudé, H.1
Ravelomanana, V.2
-
19
-
-
0001807543
-
Coding for noisy channels
-
Elias, P.: Coding for noisy channels. IRE Convention Record 4, 37-46 (1955)
-
(1955)
IRE Convention Record
, vol.4
, pp. 37-46
-
-
Elias, P.1
-
20
-
-
0037236649
-
Replica bounds for optimization problems and diluted spin systems
-
Franz, S., Leone, M.: Replica bounds for optimization problems and diluted spin systems. J. Stat. Phys. 111, 535 (2003)
-
(2003)
J. Stat. Phys.
, vol.111
, pp. 535
-
-
Franz, S.1
Leone, M.2
-
21
-
-
0242509834
-
Replica bounds for diluted non-Poissonian spin systems
-
Franz, S., Leone, M., Toninelli, F.L.: Replica bounds for diluted non-Poissonian spin systems. J. Phys. A 36, 10967 (2003)
-
(2003)
J. Phys. A
, vol.36
, pp. 10967
-
-
Franz, S.1
Leone, M.2
Toninelli, F.L.3
-
22
-
-
33750088426
-
Complete convergence of message passing algorithms for some satisfiability problems
-
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 a
-
Feige, U., Mossel, E., Vilenchik, D.: Complete convergence of message passing algorithms for some satisfiability problems. In: Díaz, J., Jansen, K., Rolim, J.D.P., Zwick, U. (eds.) APPROX and RANDOM 2006. LNCS, vol. 4110, pp. 339-350. Springer, Heidelberg (2006) (Pubitemid 44577543)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4110 LNCS
, pp. 339-350
-
-
Feige, U.1
Mossel, E.2
Vilenchik, D.3
-
23
-
-
74049087026
-
Community detection in graphs
-
Fortunato, S.: Community detection in graphs. Physics Reports 486(3-5), 75-174 (2010)
-
(2010)
Physics Reports
, vol.486
, Issue.3-5
, pp. 75-174
-
-
Fortunato, S.1
-
24
-
-
0033458154
-
Sharp thresholds of graph properties, and the k-sat problem
-
appendix by Bourgain, J.
-
Friedgut, E.: Sharp thresholds of graph properties, and the k-sat problem. J. Amer. Math. Soc. 12, 1017-1054 (1999); appendix by Bourgain, J.
-
(1999)
J. Amer. Math. Soc.
, vol.12
, pp. 1017-1054
-
-
Friedgut, E.1
-
26
-
-
0036768858
-
The thermodynamic limit in mean field spin glasses
-
Guerra, F., Toninelli, F.L.: The thermodynamic limit in mean field spin glasses. Commun. Math. Phys. 230, 71-79 (2002)
-
(2002)
Commun. Math. Phys.
, vol.230
, pp. 71-79
-
-
Guerra, F.1
Toninelli, F.L.2
-
27
-
-
77649177770
-
A survey of statistical network models
-
Goldenberg, A., Zheng, A.X., Fienberg, S.E., Airoldi, E.M.: A survey of statistical network models. Foundations and Trends® in Machine Learning 2(2), 129-233 (2010)
-
(2010)
Foundations and Trends® in Machine Learning
, vol.2
, Issue.2
, pp. 129-233
-
-
Goldenberg, A.1
Zheng, A.X.2
Fienberg, S.E.3
Airoldi, E.M.4
-
28
-
-
84886601303
-
-
Haanpää, H., Järvisalo, M., Kaski, P., Niemelä, I.: Hard satisfiable clause sets for benchmarking equivalence reasoning techniques (2005)
-
(2005)
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
-
-
Haanpää, H.1
Järvisalo, M.2
Kaski, P.3
Niemelä, I.4
-
29
-
-
29344447565
-
Generating hard satisfiable formulas by hiding solutions deceptively
-
AAAI Press
-
Jia, H., Moore, C., Strain, D.: Generating hard satisfiable formulas by hiding solutions deceptively. In: AAAI, pp. 384-389. AAAI Press (2005)
-
(2005)
AAAI
, pp. 384-389
-
-
Jia, H.1
Moore, C.2
Strain, D.3
-
30
-
-
70349628420
-
Sharp bounds for optimal decoding of Low-Density Parity-Check codes
-
Kudekar, S., Macris, N.: Sharp bounds for optimal decoding of Low-Density Parity-Check codes. IEEE Trans. on Inform. Theory 55, 4635-4650 (2009)
-
(2009)
IEEE Trans. On Inform. Theory
, vol.55
, pp. 4635-4650
-
-
Kudekar, S.1
Macris, N.2
-
31
-
-
79951710564
-
Stochastic blockmodels and community structure in networks
-
Karrer, B., Newman, M.E.J.: Stochastic blockmodels and community structure in networks. Phys. Rev. E 83, 016107 (2011)
-
(2011)
Phys. Rev. E
, vol.83
, pp. 016107
-
-
Karrer, B.1
Newman, M.E.J.2
-
32
-
-
66749176722
-
Hiding quiet solutions in random constraint satisfaction problems
-
Krzakala, F., Zdeborová, L.: Hiding quiet solutions in random constraint satisfaction problems. Phys. Rev. Lett. 102, 238701 (2009)
-
(2009)
Phys. Rev. Lett.
, vol.102
, pp. 238701
-
-
Krzakala, F.1
Zdeborová, L.2
-
34
-
-
0030671783
-
Practical loss-resilient codes
-
Luby,M., Mitzenmacher, M., Shokrollahi, A., Spielman, D.A., Stemann, V.: Practical loss-resilient codes. In: 29th Annual ACM Symposium on Theory of Computing, pp. 150-159 (1997)
-
(1997)
29th Annual ACM Symposium on Theory of Computing
, pp. 150-159
-
-
Luby, M.1
Mitzenmacher, M.2
Shokrollahi, A.3
Spielman, D.A.4
Stemann, V.5
-
35
-
-
0035246316
-
Efficient erasure correcting codes
-
Luby, M., Mitzenmacher, M., Shokrollahi, A., Spielman, D.A.: Efficient erasure correcting codes. IEEE Trans. on Inform. Theory 47(2), 569-584 (2001)
-
(2001)
IEEE Trans. on Inform. Theory
, vol.47
, Issue.2
, pp. 569-584
-
-
Luby, M.1
Mitzenmacher, M.2
Shokrollahi, A.3
Spielman, D.A.4
-
37
-
-
26444602447
-
Tight bounds for LDPC and LDGM codes under MAP decoding
-
Montanari, A.: Tight bounds for LDPC and LDGM codes under MAP decoding. IEEE Trans. on Inform. Theory 51, 3221-3246 (2005)
-
(2005)
IEEE Trans. on Inform. Theory
, vol.51
, pp. 3221-3246
-
-
Montanari, A.1
-
38
-
-
46749088709
-
Estimating random variables from random sparse observations
-
Montanari, A.: Estimating random variables from random sparse observations. European Transactions on Telecommunications 19(4), 385-403 (2008)
-
(2008)
European Transactions on Telecommunications
, vol.19
, Issue.4
, pp. 385-403
-
-
Montanari, A.1
-
39
-
-
84886593394
-
Reconstruction and Clustering in Random Constraint Satisfaction Problems
-
Montanari, A., Restrepo, R., Tetali, P.: Reconstruction and Clustering in Random Constraint Satisfaction Problems. CoRR abs/0904.2751 (2009)
-
(2009)
CoRR Abs/0904.2751
-
-
Montanari, A.1
Restrepo, R.2
Tetali, P.3
-
40
-
-
84255196314
-
Communities, modules and large-scale structure in networks
-
Newman, M.E.J.: Communities, modules and large-scale structure in networks. Nature Physics 8(1), 25-31 (2011)
-
(2011)
Nature Physics
, vol.8
, Issue.1
, pp. 25-31
-
-
Newman, M.E.J.1
-
42
-
-
8744274369
-
Bounds for diluted mean-field spin glass models
-
Panchenko, D., Talagrand, M.: Bounds for diluted mean-field spin glass models. Prob. Theor. Rel. Fields 130, 319-336 (2004)
-
(2004)
Prob. Theor. Rel. Fields
, vol.130
, pp. 319-336
-
-
Panchenko, D.1
Talagrand, M.2
-
43
-
-
78649309937
-
Phase transitions for mutual information
-
Raj Kumar, K., Pakzad, P., Salavati, A.H., Shokrollahi, A.: Phase transitions for mutual information. In: 2010 6th International Symposium on Turbo Codes and Iterative Information Processing (ISTC), pp. 137-141 (2010)
-
(2010)
2010 6th International Symposium on Turbo Codes and Iterative Information Processing (ISTC)
, pp. 137-141
-
-
Raj Kumar, K.1
Pakzad, P.2
Salavati, A.H.3
Shokrollahi, A.4
-
45
-
-
79960615509
-
Quiet planting in the locked constraint satisfaction problems
-
Zdeborová, L., Krzakala, F.: Quiet planting in the locked constraint satisfaction problems. SIAM Journal on Discrete Mathematics 25(2), 750-770 (2011)
-
(2011)
SIAM Journal on Discrete Mathematics
, vol.25
, Issue.2
, pp. 750-770
-
-
Zdeborová, L.1
Krzakala, F.2
|