-
1
-
-
0040994558
-
On the length of subgroup chains in the symmetric group
-
Babai, L. (1986). On the length of subgroup chains in the symmetric group. Comm. Algebra, 14(9), 1729-1736.
-
(1986)
Comm. Algebra
, vol.14
, Issue.9
, pp. 1729-1736
-
-
Babai, L.1
-
2
-
-
0007031047
-
Fast management of permutation groups I
-
Babai, L., Luks, E., & Seress, A. (1997). Fast management of permutation groups I. SIAM J. Computing, 26, 1310-1342.
-
(1997)
SIAM J. Computing
, vol.26
, pp. 1310-1342
-
-
Babai, L.1
Luks, E.2
Seress, A.3
-
3
-
-
0003989065
-
A Davis-Putnam based enumeration algorithm for linear pseudo-boolean optimization
-
Max Planck Institut für Informatik, Saarbrücken, Germany
-
Barth, P. (1995). A Davis-Putnam based enumeration algorithm for linear pseudo-boolean optimization. Tech. rep. MPI-I-95-2-003, Max Planck Institut für Informatik, Saarbrücken, Germany.
-
(1995)
Tech. Rep.
, vol.MPI-I-95-2-003
-
-
Barth, P.1
-
5
-
-
84867783849
-
The taming of the (X)OR
-
Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Palamidessi, C., Pereira, L. M., Sagiv, Y., & Stuckey, P. J. (Eds.). Springer
-
Baumgartner, P., & Massacci, F. (2000). The Taming of the (X)OR. In Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Palamidessi, C., Pereira, L. M., Sagiv, Y., & Stuckey, P. J. (Eds.), Computational Logic - CL 2000, Vol. 1861, pp. 508-522. Springer.
-
(2000)
Computational Logic - CL 2000
, vol.1861
, pp. 508-522
-
-
Baumgartner, P.1
Massacci, F.2
-
9
-
-
0023466724
-
On the complexity of cutting-plane proofs
-
Cook, W., Coullard, C., & Turan, G. (1987). On the complexity of cutting-plane proofs. Discrete Applied Mathematics, 18, 25-38.
-
(1987)
Discrete Applied Mathematics
, vol.18
, pp. 25-38
-
-
Cook, W.1
Coullard, C.2
Turan, G.3
-
10
-
-
0041648567
-
Symmetry breaking predicates for search problems
-
Boston, MA
-
Crawford, J. M., Ginsberg, M. L., Luks, E., & Roy, A. (1996). Symmetry breaking predicates for search problems. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, Boston, MA.
-
(1996)
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning
-
-
Crawford, J.M.1
Ginsberg, M.L.2
Luks, E.3
Roy, A.4
-
11
-
-
0034155463
-
Combining satisfiability techniques from AI and or
-
Dixon, H. E., & Ginsberg, M. L. (2000). Combining satisfiability techniques from AI and OR. Knowledge Engrg. Rev., 15, 31-45.
-
(2000)
Knowledge Engrg. Rev.
, vol.15
, pp. 31-45
-
-
Dixon, H.E.1
Ginsberg, M.L.2
-
12
-
-
9444291144
-
Generalizing Boolean satisfiability III: Implementation
-
On Time Systems, Inc., Eugene, Oregon
-
Dixon, H. E., Ginsberg, M. L., Hofer, D., Luks, E. M., & Parkes, A. J. (2004a). Generalizing Boolean satisfiability III: Implementation. Tech. rep., On Time Systems, Inc., Eugene, Oregon.
-
(2004)
Tech. Rep.
-
-
Dixon, H.E.1
Ginsberg, M.L.2
Hofer, D.3
Luks, E.M.4
Parkes, A.J.5
-
13
-
-
27344439994
-
Generalizing Boolean satisfiability I: Background and survey of existing work
-
Dixon, H. E., Ginsberg, M. L., & Parkes, A. J. (2004b). Generalizing Boolean satisfiability I: Background and survey of existing work. Journal of Artificial Intelligence Research, 21, 193-243.
-
(2004)
Journal of Artificial Intelligence Research
, vol.21
, pp. 193-243
-
-
Dixon, H.E.1
Ginsberg, M.L.2
Parkes, A.J.3
-
15
-
-
27344459132
-
Search, subsearch and QPROP
-
Breckenridge, Colorado
-
Ginsberg, M. L., & Parkes, A. J. (2000). Search, subsearch and QPROP. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning, Breckenridge, Colorado.
-
(2000)
Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning
-
-
Ginsberg, M.L.1
Parkes, A.J.2
-
16
-
-
0019398440
-
Logical reduction methods in zero-one programming
-
Guignard, M., & Spielberg, K. (1981). Logical reduction methods in zero-one programming. Operations Research, 29.
-
(1981)
Operations Research
, pp. 29
-
-
Guignard, M.1
Spielberg, K.2
-
17
-
-
0000076101
-
The intractability of resolution
-
Haken, A. (1985). The intractability of resolution. Theoretical Computer Science, 39, 297-308.
-
(1985)
Theoretical Computer Science
, vol.39
, pp. 297-308
-
-
Haken, A.1
-
19
-
-
0038329530
-
Generalized resolution and cutting planes
-
Hooker, J. N. (1988). Generalized resolution and cutting planes. Annals of Operations Research, 12, 217-239.
-
(1988)
Annals of Operations Research
, vol.12
, pp. 217-239
-
-
Hooker, J.N.1
-
20
-
-
0041046589
-
A compact representation for permutation groups
-
Jerrum, M. (1986). A compact representation for permutation groups. J. Algorithms, 7, 60-78.
-
(1986)
J. Algorithms
, vol.7
, pp. 60-78
-
-
Jerrum, M.1
-
21
-
-
1842596764
-
Notes on efficient representation of permutation groups
-
Knuth, D. E. (1991). Notes on efficient representation of permutation groups. Combinatorica, 11, 57-68.
-
(1991)
Combinatorica
, vol.11
, pp. 57-68
-
-
Knuth, D.E.1
-
22
-
-
0021979768
-
Short proofs for tricky formulas
-
Krishnamurthy, B. (1985). Short proofs for tricky formulas. Acta Informatica, 22(3), 253-275.
-
(1985)
Acta Informatica
, vol.22
, Issue.3
, pp. 253-275
-
-
Krishnamurthy, B.1
-
25
-
-
0001584735
-
Enumerating finite groups
-
McIver, A., & Neumann, P. (1987). Enumerating finite groups. Quart. J. Math., 38(2), 473-488.
-
(1987)
Quart. J. Math.
, vol.38
, Issue.2
, pp. 473-488
-
-
McIver, A.1
Neumann, P.2
-
26
-
-
0034852165
-
Chaff: Engineering an efficient SAT solver
-
Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., & Malik, S. (2001). Chaff: Engineering an efficient SAT solver. In 39th Design Automation Conference.
-
(2001)
39th Design Automation Conference
-
-
Moskewicz, M.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
28
-
-
0031504901
-
Lower bounds for resolution and cutting planes proofs and monotone computations
-
Pudlak, P. (1997). Lower bounds for resolution and cutting planes proofs and monotone computations. J. Symbolic Logic, 62(3), 981-998.
-
(1997)
J. Symbolic Logic
, vol.62
, Issue.3
, pp. 981-998
-
-
Pudlak, P.1
-
29
-
-
0007122889
-
Enumerating finite groups of given order
-
Pyber, L. (1993). Enumerating finite groups of given order. Ann. Math., 137, 203-220.
-
(1993)
Ann. Math.
, vol.137
, pp. 203-220
-
-
Pyber, L.1
-
31
-
-
0000278641
-
Preprocessing and probing for mixed integer programming problems
-
Savelsbergh, M. W. P. (1994). Preprocessing and probing for mixed integer programming problems. ORSA Journal on Computing, 6, 445-454.
-
(1994)
ORSA Journal on Computing
, vol.6
, pp. 445-454
-
-
Savelsbergh, M.W.P.1
-
32
-
-
27344449435
-
Permutation group algorithms
-
Cambridge University Press, Cambridge, UK
-
Seress, A. (2003). Permutation Group Algorithms, Vol. 152 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, UK.
-
(2003)
Cambridge Tracts in Mathematics
, vol.152
-
-
Seress, A.1
-
33
-
-
27344458699
-
The complexity of resolution with generalized symmetry rules
-
Alt, H., & Habib, M. (Eds.)
-
Szeider, S. (2003). The complexity of resolution with generalized symmetry rules. In Alt, H., & Habib, M. (Eds.), Proceedings of STACS03, volume 2607 of Springer Lecture Notes in Computer Science, pp. 475-486.
-
(2003)
Proceedings of STACS03, Volume 2607 of Springer Lecture Notes in Computer Science
, vol.2607
, pp. 475-486
-
-
Szeider, S.1
-
34
-
-
0001340960
-
On the complexity of derivation in propositional calculus
-
Slisenko, A. (Ed.). Consultants Bureau
-
Tseitin, G. (1970). On the complexity of derivation in propositional calculus. In Slisenko, A. (Ed.), Studies in Constructive Mathematics and Mathematical Logic, Part 2, pp. 466-483. Consultants Bureau.
-
(1970)
Studies in Constructive Mathematics and Mathematical Logic, Part 2
, pp. 466-483
-
-
Tseitin, G.1
-
35
-
-
0034140168
-
Implementing the Davis-Putnam method
-
Zhang, H., &: Stickel, M. E. (2000). Implementing the Davis-Putnam method. Journal of Automated Reasoning, 24(1/2), 277-296.
-
(2000)
Journal of Automated Reasoning
, vol.24
, Issue.1-2
, pp. 277-296
-
-
Zhang, H.1
Stickel, M.E.2
|