-
1
-
-
84948976066
-
Random constraint satisfaction: A more accurate picture
-
D. Achlioptas, L.M. Kirousis, E. Kranakis, D. Krizanc, M.S.O. Molloy, and Y.C. Stamatiou. Random constraint satisfaction: a more accurate picture. In Proc. of CP'97, pp. 107-120, 1997.
-
(1997)
Proc. of CP'97
, pp. 107-120
-
-
Achlioptas, D.1
Kirousis, L.M.2
Kranakis, E.3
Krizanc, D.4
Molloy, M.S.O.5
Stamatiou, Y.C.6
-
2
-
-
84886023553
-
Generating satisfiable problem instances
-
D. Achlioptas, C. Gomes, H. Kautz, and B. Selman. Generating satisfiable problem instances. In Proc. of AAAI'00, pp. 256-301, 2000.
-
(2000)
Proc. of AAAI'00
, pp. 256-301
-
-
Achlioptas, D.1
Gomes, C.2
Kautz, H.3
Selman, B.4
-
3
-
-
9444229277
-
Hiding satisfying assignments: Two are better than one
-
D. Achlioptas, H. Jia, and C. Moore. Hiding satisfying assignments: two are better than one. In Proc. of AAAI'04, pp. 131-136, 2004.
-
(2004)
Proc. of AAAI'04
, pp. 131-136
-
-
Achlioptas, D.1
Jia, H.2
Moore, C.3
-
4
-
-
19044390031
-
Hiding solutions in random satisfiability problems: A statistical mechanics approach
-
W. Barthel, A.K. Hartmann, M. Leone, F. Ricci-Tersenghi, M.Weigt, and R. Zecchina. Hiding solutions in random satisfiability problems: a statistical mechanics approach. Physical review letters, 88(18), 2002.
-
(2002)
Physical Review Letters
, vol.88
, Issue.18
-
-
Barthel, W.1
Hartmann, A.K.2
Leone, M.3
Ricci-Tersenghi, F.4
Weigt, M.5
Zecchina, R.6
-
5
-
-
0000802475
-
Short proofs are narrow - Resolution made simple
-
E. Ben-Sasson and A. Wigderson. Short proofs are narrow - resolution made simple. Journal of the ACM, 48(2):149-169, 2001.
-
(2001)
Journal of the ACM
, vol.48
, Issue.2
, pp. 149-169
-
-
Ben-Sasson, E.1
Wigderson, A.2
-
6
-
-
85017395931
-
Boosting systematic search by weighting constraints
-
F. Boussemart, F. Hemery, C. Lecoutre, and L. Sais. Boosting systematic search by weighting constraints. In Proc. of ECAI'04, pp. 146-150, 2004.
-
(2004)
Proc. of ECAI'04
, pp. 146-150
-
-
Boussemart, F.1
Hemery, F.2
Lecoutre, C.3
Sais, L.4
-
7
-
-
0004356882
-
Finding hard instances of the satisfiability problem: A survey
-
S.A. Cook and D.G. Mitchell. Finding hard instances of the satisfiability problem: a survey. DIMACS Ser. Disc. Math. & TCS, 35, 1997.
-
(1997)
DIMACS Ser. Disc. Math. & TCS
, vol.35
-
-
Cook, S.A.1
Mitchell, D.G.2
-
8
-
-
35248894361
-
The satisfiability threshold for randomly generated binary constraint satisfaction problems
-
A.M. Frieze and M. Molloy. The satisfiability threshold for randomly generated binary constraint satisfaction problems. In Proc. of Random'03, pp. 275-289, 2003.
-
(2003)
Proc. of Random'03
, pp. 275-289
-
-
Frieze, A.M.1
Molloy, M.2
-
9
-
-
35048897061
-
Consistency and random constraint satisfaction models with a high constraint tightness
-
Y. Gao and J. Culberson. Consistency and random constraint satisfaction models with a high constraint tightness. In CP'04, pp. 17-31, 2004.
-
(2004)
CP'04
, pp. 17-31
-
-
Gao, Y.1
Culberson, J.2
-
10
-
-
0035479063
-
Random constraint satisfaction: Flaws and structure
-
DOI 10.1023/A:1011454308633
-
I.P. Gent, E. MacIntyre, P. Prosser, B.M. Smith, and T. Walsh. Random constraint satisfaction: flaws and structure. Constraints, 6(4):345-372, 2001. (Pubitemid 32820492)
-
(2001)
Constraints
, vol.6
, Issue.4
, pp. 345-372
-
-
Gent, I.P.1
Macintyre, E.2
Prosser, P.3
Smith, B.M.4
Walsh, T.5
-
11
-
-
35048828430
-
Statistical regimes across constrainedness regions
-
C.P. Gomes, C. Fernández, B. Selman, and C. Bessiere. Statistical regimes across constrainedness regions. In Proc. of CP'04, pp. 32-46, 2004.
-
(2004)
Proc. of CP'04
, pp. 32-46
-
-
Gomes, C.P.1
Fernández, C.2
Selman, B.3
Bessiere, C.4
-
12
-
-
0024866111
-
Pseudo-random number generation from one-way functions
-
R. Impagliazzo, L. levin, and M. Luby. Pseudo-random number generation from one-way functions. In Proc. of STOC'89, pp. 12-24, 1989.
-
(1989)
Proc. of STOC'89
, pp. 12-24
-
-
Impagliazzo, R.1
Levin, L.2
Luby, M.3
-
13
-
-
84880720715
-
From spin glasses to hard satisfiable formulas
-
H. Jia, C. Moore, and B. Selman. From spin glasses to hard satisfiable formulas. In SAT'04, 2004.
-
(2004)
SAT'04
-
-
Jia, H.1
Moore, C.2
Selman, B.3
-
14
-
-
23044534120
-
Resolution complexity of random constraints
-
D.G. Mitchell. Resolution complexity of random constraints. In Proc. of CP'02, pp. 295-309, 2002.
-
(2002)
Proc. of CP'02
, pp. 295-309
-
-
Mitchell, D.G.1
-
15
-
-
0141534116
-
Models for random constraint satisfaction problems
-
M. Molloy. Models for random constraint satisfaction problems. SIAM Journal of computing, 32(4):935-949, 2003.
-
(2003)
SIAM Journal of Computing
, vol.32
, Issue.4
, pp. 935-949
-
-
Molloy, M.1
-
16
-
-
0030105626
-
Locating the phase transition in binary constraint satisfaction problems
-
B.M. Smith and M.E. Dyer. Locating the phase transition in binary constraint satisfaction problems. Artificial Intelligence, 81:155-181, 1996. (Pubitemid 126349553)
-
(1996)
Artificial Intelligence
, vol.81
, Issue.1-2
, pp. 155-181
-
-
Smith, B.M.1
Dyer, M.E.2
-
17
-
-
0034882302
-
Constructing an asymptotic phase transition in random binary constraint satisfaction problems
-
DOI 10.1016/S0304-3975(01)00166-9, PII S0304397501001669
-
B.M. Smith. Constructing an asymptotic phase transition in random binary constraint satisfaction problems. TCS, 265:265-283, 2001. (Pubitemid 32775944)
-
(2001)
Theoretical Computer Science
, vol.265
, Issue.1-2
, pp. 265-283
-
-
Smith, B.M.1
-
18
-
-
14344276587
-
Exact phase transitions in random constraint satisfaction problems
-
K. Xu and W. Li. Exact phase transitions in random constraint satisfaction problems. Journal of Artificial Intelligence Research, 12:93-103, 2000.
-
(2000)
Journal of Artificial Intelligence Research
, vol.12
, pp. 93-103
-
-
Xu, K.1
Li, W.2
-
19
-
-
0345438632
-
Many hard examples in exact phase transitions with application to generating hard satisfiable instances
-
cs.CC/0302001
-
K. Xu and W. Li. Many hard examples in exact phase transitions with application to generating hard satisfiable instances. CoRR Report cs.CC/0302001, 2003.
-
(2003)
CoRR Report
-
-
Xu, K.1
Li, W.2
|