메뉴 건너뛰기




Volumn 41, Issue 1, 2008, Pages 61-73

An efficient solver for weighted Max-SAT

Author keywords

Data structures; Heuristics; Lower bound; Max SAT; Weighted Branch and bound

Indexed keywords

ALGORITHMS; DATA STRUCTURES; HEURISTIC METHODS; PROBLEM SOLVING;

EID: 41549085071     PISSN: 09255001     EISSN: 15732916     Source Type: Journal    
DOI: 10.1007/s10898-007-9166-9     Document Type: Article
Times cited : (16)

References (29)
  • 1
    • 22944450995 scopus 로고    scopus 로고
    • Faster exact algorithms for hard problems: A parameterized point of view
    • Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics Springer, Berlin
    • Alber, J., Gramm, J., Niedermeier, R.: Faster exact algorithms for hard problems: a parameterized point of view. In: Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics. LNCS, pp. 168-185. Springer, Berlin (1998)
    • (1998) LNCS , pp. 168-185
    • Alber, J.1    Gramm, J.2    Niedermeier, R.3
  • 3
    • 84948952917 scopus 로고    scopus 로고
    • Reactive search, a history-sensitive heuristic for MAX-SAT
    • Art. 2
    • Battiti, R., Protasi, M.: Reactive search, a history-sensitive heuristic for MAX-SAT. ACM J. Exp. Algorithms, 2, Art. 2(1997)
    • (1997) ACM J. Exp. Algorithms , pp. 2
    • Battiti, R.1    Protasi, M.2
  • 4
    • 0007980271 scopus 로고    scopus 로고
    • A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
    • Borchers B. and Furman J. (1999). A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems. J. Combi. Optim 2: 299-306
    • (1999) J. Combi. Optim , vol.2 , pp. 299-306
    • Borchers, B.1    Furman, J.2
  • 5
    • 0346268214 scopus 로고    scopus 로고
    • A linear programming and rounding approach to MAX-2-SAT
    • Johnson D., Trick M. (eds.), Cliques, Coloring and Satisfiability American Mathematical Society, Providence, USA
    • Cheriyan, J., Cunningham, W., Tunçel, L., Wang, Y.: A linear programming and rounding approach to MAX-2-SAT. In: Johnson D., Trick M. (eds.), Cliques, Coloring and Satisfiability, Vol. 26 of DIMACS, pp. 395-414. American Mathematical Society, Providence, USA (1996)
    • (1996) DIMACS , vol.26 , pp. 395-414
    • Cheriyan, J.1    Cunningham, W.2    Tunçel, L.3    Wang, Y.4
  • 6
    • 84919401135 scopus 로고
    • A machine program for theorem-proving
    • Davis M., Logemann G. and Loveland D. (1962). A machine program for theorem-proving. Commun. ACM 5: 394-397
    • (1962) Commun. ACM , vol.5 , pp. 394-397
    • Davis, M.1    Logemann, G.2    Loveland, D.3
  • 7
    • 85027123851 scopus 로고
    • Approximating the value of two proper proof systems, with applications to MAX-2SAT and MAX-DICUT
    • Tel Aviv, Israel
    • Feige, U., Goemans, M.: Approximating the value of two proper proof systems, with applications to MAX-2SAT and MAX-DICUT. In: Proceedings of the 3rd Israel Symposium on Theory of Computing and Systems, pp. 182-189. Tel Aviv, Israel (1995)
    • (1995) Proceedings of the 3rd Israel Symposium on Theory of Computing and Systems , pp. 182-189
    • Feige, U.1    Goemans, M.2
  • 8
    • 33749572862 scopus 로고    scopus 로고
    • Solving Max-SAT as weighted CSP
    • Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, CP-2003, Kinsale, Ireland, Springer, Berlin
    • de Givry, S., Larrosa, J., Meseguer, P., Schiex, T.: Solving Max-SAT as weighted CSP. In: Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, CP-2003, Kinsale, Ireland, LNCS 2833, pp. 363-376. Springer, Berlin (2003)
    • (2003) LNCS , vol.2833 , pp. 363-376
    • De Givry, S.1    Larrosa, J.2    Meseguer, P.3    Schiex, T.4
  • 9
    • 84893574327 scopus 로고
    • Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
    • 6
    • Goemans M. and Williamson D. (1995). Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. Assoc. Comput. Mach 42(6): 1115-1145
    • (1995) J. Assoc. Comput. Mach , vol.42 , pp. 1115-1145
    • Goemans, M.1    Williamson, D.2
  • 10
    • 0025260212 scopus 로고
    • Algorithms for the maximum satisfiability problem
    • Hansen P. and Jaumard B. (1990). Algorithms for the maximum satisfiability problem. Computing 44: 279-303
    • (1990) Computing , vol.44 , pp. 279-303
    • Hansen, P.1    Jaumard, B.2
  • 11
    • 0003983607 scopus 로고    scopus 로고
    • Cliques, coloring, and satisfiability: Second DIMACS implementation challenge
    • Johnson D., Trick, M. (eds) American Mathematical Society, Providence, USA
    • Johnson, D., Trick, M. (eds): Cliques, coloring, and Satisfiability: second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, Providence, USA (1996)
    • (1996) DIMACS Series in Discrete Mathematics and Theoretical Computer Science
  • 12
    • 0000234006 scopus 로고
    • Solving propositional satisfiability problems
    • Jeroslow R.G. and Wang J. (1990). Solving propositional satisfiability problems. Ann. Math. Artif. Intell. 1: 167-187
    • (1990) Ann. Math. Artif. Intell. , vol.1 , pp. 167-187
    • Jeroslow, R.G.1    Wang, J.2
  • 15
    • 84948992651 scopus 로고    scopus 로고
    • Look-ahead versus look-back for satisfiability problems
    • Proceedings of the 3rd International Conference on Principles of Constraint Programming, CP'97Linz, Austria Springer, Berlin
    • Li, C.M., Anbulagan, A.: Look-ahead versus look-back for satisfiability problems. In: Proceedings of the 3rd International Conference on Principles of Constraint Programming, CP'97, Linz, Austria, LNCS 1330, pp. 341-355. Springer, Berlin (1997)
    • (1997) LNCS , vol.1330 , pp. 341-355
    • Li, C.M.1    Anbulagan, A.2
  • 16
    • 0003291209 scopus 로고
    • Automated theorem proving. A logical basis
    • North-Holland, Amsterdam
    • Loveland, D.W.: Automated Theorem Proving. A Logical Basis, volume 6 of Fundamental Studies in Computer Science. North-Holland, Amsterdam (1978)
    • (1978) Fundamental Studies in Computer Science , vol.6
    • Loveland, D.W.1
  • 18
    • 0346676595 scopus 로고    scopus 로고
    • New upper bounds for maximum satisfiability
    • Niedermeier R. and Rossmanith P. (2000). New upper bounds for maximum satisfiability. J. Algorithms 36: 63-88
    • (2000) J. Algorithms , vol.36 , pp. 63-88
    • Niedermeier, R.1    Rossmanith, P.2
  • 19
    • 22944436303 scopus 로고
    • Efficiency and stability of hypergraph SAT algorithms
    • Rutgers University, NJ, USA
    • Pretolani, D.: Efficiency and stability of hypergraph SAT algorithms. In: Proceedings of the DIMACS Challenge II Workshop. Rutgers University, NJ, USA (1993)
    • (1993) Proceedings of the DIMACS Challenge II Workshop
    • Pretolani, D.1
  • 20
    • 0005367165 scopus 로고    scopus 로고
    • Approximate solutions of weighted MAX-SAT problems using GRASP
    • Du, D.-Z., Gu, J., Pardalos, P. (eds) Satisfiability Problem: theory and aplications American Mathematical Society, Providence, USA
    • Resende, M., Pitsoulis, L., Pardalos, P.: Approximate solutions of weighted MAX-SAT problems using GRASP. In: Du, D.-Z., Gu, J., Pardalos, P. (eds) Satisfiability Problem: theory and aplications, vol. 35 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 393-405. American Mathematical Society, Providence, USA (1997)
    • (1997) DIMACS Series in Discrete Mathematics and Theoretical Computer Science , vol.35 , pp. 393-405
    • Resende, M.1    Pitsoulis, L.2    Pardalos, P.3
  • 21
    • 0002503033 scopus 로고    scopus 로고
    • FORTRAN subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP
    • 1.2
    • Resende M., Pitsoulis L. and Pardalos P. (2000). FORTRAN subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP. Discrete Appl. Math. 100(1.2): 95-113
    • (2000) Discrete Appl. Math. , vol.100 , pp. 95-113
    • Resende, M.1    Pitsoulis, L.2    Pardalos, P.3
  • 22
    • 0028574681 scopus 로고
    • Proceedings of the 12th National Conference on Artificial Intelligence, AAAI'94 Seattle, WA, USA AAAI Press
    • Selman, B., Kautz, H., Cohen, B.: Noise Strategies for Improving Local Search. In: Proceedings of the 12th National Conference on Artificial Intelligence, AAAI'94, Seattle, WA, USA, pp. 337-343. AAAI Press (1994)
    • (1994) Noise Strategies for Improving Local Search , pp. 337-343
    • Selman, B.1    Kautz, H.2    Cohen, B.3
  • 25
    • 0346834607 scopus 로고    scopus 로고
    • Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems
    • Johnson, D., Trick, M. (eds.) American Mathematical Society. Providence, USA
    • Wallace, R., Freuder, E.: Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems. In: Johnson, D., Trick, M. (eds.) Cliques, Coloring and Satisfiability, vol. 26, pp. 587-615. American Mathematical Society. Providence, USA (1996)
    • (1996) Cliques, Coloring and Satisfiability , vol.26 , pp. 587-615
    • Wallace, R.1    Freuder, E.2
  • 26
    • 33646192504 scopus 로고    scopus 로고
    • Efficient strategies for (weighted) maximum satisfiability
    • Toronto, Canada
    • Xing, Z., Zhang, W.: Efficient strategies for (weighted) maximum satisfiability. In: Proceedings of CP-2004, pp. 690-705. Toronto, Canada (2004)
    • (2004) Proceedings of CP-2004 , pp. 690-705
    • Xing, Z.1    Zhang, W.2


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