메뉴 건너뛰기




Volumn 22, Issue , 2004, Pages 481-534

Generalizing Boolean satisfiability II: Theory

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATABASE SYSTEMS; INFERENCE ENGINES; PERFORMANCE; PROBLEM SOLVING;

EID: 27144521366     PISSN: 10769757     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.1555     Document Type: Article
Times cited : (20)

References (35)
  • 1
    • 0040994558 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 0034155463 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 16
    • 0019398440 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 28
    • 0031504901 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 34
    • 0001340960 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.