메뉴 건너뛰기




Volumn 26, Issue 4, 2017, Pages

Guiding SAT Solving by Formula Partitioning

Author keywords

Boolean satisfiability; divide and conquer; formula partitioning; hypergraph partitioning; SAT; VSIDS

Indexed keywords

BENCHMARKING; FORMAL LOGIC;

EID: 85028350608     PISSN: 02182130     EISSN: 17936349     Source Type: Journal    
DOI: 10.1142/S0218213017500117     Document Type: Article
Times cited : (4)

References (51)
  • 3
    • 29344433408 scopus 로고    scopus 로고
    • Partitioning methods for satisfiability testing on large formulas
    • Springer
    • T. J. Park and A. Van Gelder, Partitioning methods for satisfiability testing on large formulas, in Automated Deduction-Cade-13 (Springer, 1996), pp. 748-762.
    • (1996) Automated Deduction-Cade-13 , pp. 748-762
    • Park, T.J.1    Van Gelder, A.2
  • 5
    • 11144322230 scopus 로고    scopus 로고
    • Partition-based logical reasoning for first-order and propositional theories
    • E. Amir and S. McIlraith, Partition-based logical reasoning for first-order and propositional theories, Artificial Intelligence 162(1) (2005) 49-88.
    • (2005) Artificial Intelligence , vol.162 , Issue.1 , pp. 49-88
    • Amir, E.1    McIlraith, S.2
  • 16
    • 84865232764 scopus 로고    scopus 로고
    • An overview of parallel SAT solving
    • R. Martins, V. Manquinho and I. Lynce, An overview of parallel SAT solving, Con-straints 17(3) (2012) 304-347.
    • (2012) Con-straints , vol.17 , Issue.3 , pp. 304-347
    • Martins, R.1    Manquinho, V.2    Lynce, I.3
  • 18
    • 41349117788 scopus 로고    scopus 로고
    • Finding community structure in very large networks
    • A. Clauset, M. E. J. Newman and C. Moore, Finding community structure in very large networks, Physical Review E 70(6) (2004) 066111.
    • (2004) Physical Review E , vol.70 , Issue.6 , pp. 066111
    • Clauset, A.1    Newman, M.E.J.2    Moore, C.3
  • 31
    • 0004520276 scopus 로고    scopus 로고
    • Algorithms for the satisfiability (SAT) problem: A survey
    • eds. D.-Z. Du and P. M. Pardalos, Springer
    • J. Gu, P. W. Purdom, J. Franco and B. W. Wah, Algorithms for the satisfiability (SAT) problem: A survey, in Handbook of Combinatorial Optimization, eds. D.-Z. Du and P. M. Pardalos (Springer, 1999) pp. 379-572.
    • (1999) Handbook of Combinatorial Optimization , pp. 379-572
    • Gu, J.1    Purdom, P.W.2    Franco, J.3    Wah, B.W.4
  • 41
    • 84990479742 scopus 로고
    • An efficient heuristic procedure for partitioning graphs
    • B. W. Kernighan and S. Lin, An efficient heuristic procedure for partitioning graphs, Bell System Technical Journal 49(2) (1970) 291-307.
    • (1970) Bell System Technical Journal , vol.49 , Issue.2 , pp. 291-307
    • Kernighan, B.W.1    Lin, S.2
  • 45
    • 0034538133 scopus 로고    scopus 로고
    • Multilevel k-way hypergraph partitioning
    • G. Karypis and V. Kumar, Multilevel k-way hypergraph partitioning, VLSI Design 11(3) (2000) 285-300.
    • (2000) VLSI Design , vol.11 , Issue.3 , pp. 285-300
    • Karypis, G.1    Kumar, V.2


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