-
1
-
-
0032680865
-
GRASP: A search algorithm for prepositional satisfiability
-
J. P. Marques-Silva and K. A. Sakallah, "GRASP: a search algorithm for prepositional satisfiability," IEEE Trans. on Computers, vol. 48, no. 5, pp. 506-521, 1999.
-
(1999)
IEEE Trans. on Computers
, vol.48
, Issue.5
, pp. 506-521
-
-
Marques-Silva, J.P.1
Sakallah, K.A.2
-
2
-
-
0034852165
-
Chaff: Engineering an efficient SAT solver
-
Las Vegas, Nevada, June
-
M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: Engineering an efficient SAT solver," in Proceedings of the 38th ACM/IEEE Design Automation Conference, (Las Vegas, Nevada), pp. 530-535, June 2001.
-
(2001)
Proceedings of the 38th ACM/IEEE Design Automation Conference
, pp. 530-535
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
3
-
-
0024926609
-
Optimal layout via Boolean satisfiability
-
November
-
S. Devadas, "Optimal layout via Boolean satisfiability," in IEEE/ACM Inter'l Conference on CAD, pp. 294-297, November 1989.
-
(1989)
IEEE/ACM Inter'l Conference on CAD
, pp. 294-297
-
-
Devadas, S.1
-
4
-
-
0032095693
-
FPGA routing and routability estimation via Boolean satisfiability
-
June
-
R. G. Wood and R. A. Rutenbar, "FPGA routing and routability estimation via Boolean satisfiability," IEEE Trans. on VLSI Systems, pp. 222-231, June 1998.
-
(1998)
IEEE Trans. on VLSI Systems
, pp. 222-231
-
-
Wood, R.G.1
Rutenbar, R.A.2
-
5
-
-
0036911693
-
Generic ILP versus specialized 0-1 ILP: An update
-
November
-
F. A. Aloul, A. Ramani, I. L. Markov, and K. A. Sakallah, "Generic ILP versus specialized 0-1 ILP: An update," in IEEE/ACM Int. Conference on Computer-Aided Design, pp. 450-457, November 2002.
-
(2002)
IEEE/ACM Int. Conference on Computer-Aided Design
, pp. 450-457
-
-
Aloul, F.A.1
Ramani, A.2
Markov, I.L.3
Sakallah, K.A.4
-
6
-
-
0000076101
-
The intractability of resolution
-
A. Haken, "The intractability of resolution," Theoretical Computer Science, vol. 39, pp. 297-308, 1985.
-
(1985)
Theoretical Computer Science
, vol.39
, pp. 297-308
-
-
Haken, A.1
-
8
-
-
84919401135
-
A machine program for theorem proving
-
July
-
M. Davis, G. Logeman, and D. Loveland, "A machine program for theorem proving," Communications of the ACM, vol. 5, pp. 394-397, July 1962.
-
(1962)
Communications of the ACM
, vol.5
, pp. 394-397
-
-
Davis, M.1
Logeman, G.2
Loveland, D.3
-
10
-
-
0000971541
-
Edmonds polytopes and a hierarchy of combinatorial problems
-
V. Chvátal, "Edmonds polytopes and a hierarchy of combinatorial problems," Discrete Mathematics, vol. 4, pp. 305-337, 1973.
-
(1973)
Discrete Mathematics
, vol.4
, pp. 305-337
-
-
Chvátal, V.1
-
11
-
-
0034155463
-
Combining satisfiability techniques from AI and OR
-
March
-
H. E. Dixon and M. L. Ginsberg, "Combining satisfiability techniques from AI and OR," The Knowledge Engineering Review, vol. 15, pp. 31-45, March 2000.
-
(2000)
The Knowledge Engineering Review
, vol.15
, pp. 31-45
-
-
Dixon, H.E.1
Ginsberg, M.L.2
-
12
-
-
84881072062
-
A computing procedure for quantification theory
-
M. Davis and H. Putnam, "A computing procedure for quantification theory," Journal of the ACM, vol. 7, pp. 102-215, 1960.
-
(1960)
Journal of the ACM
, vol.7
, pp. 102-215
-
-
Davis, M.1
Putnam, H.2
-
14
-
-
0017544789
-
Forward reasoning and dependency directed backtracking in a system for computer aided circuit analysis
-
R. M. Stallman and G. J. Sussman, "Forward reasoning and dependency directed backtracking in a system for computer aided circuit analysis," Artificial Intelligence, vol. 9, no. 2, pp. 135-196, 1977.
-
(1977)
Artificial Intelligence
, vol.9
, Issue.2
, pp. 135-196
-
-
Stallman, R.M.1
Sussman, G.J.2
|