-
3
-
-
29344433408
-
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
-
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
-
9
-
-
77956234169
-
-
Tech. Rep., University of Wales, Swansea, CSR 2-2006
-
M. Heule and O. Kullmann, Decomposing clause-sets: Integrating DLL algorithms, tree decompositions and hypergraph cuts for variable-and clause-based graph representations of CNFs, Tech. Rep., University of Wales, Swansea (2006), CSR 2-2006.
-
(2006)
Decomposing Clause-sets: Integrating DLL Algorithms, Tree Decompositions and Hypergraph Cuts for Variable-and Clause-based Graph Representations of CNFs
-
-
Heule, M.1
Kullmann, O.2
-
10
-
-
84962579925
-
Formula partitioning revisited
-
Z. A. Mann and P. A. Papp, Formula partitioning revisited, in Proc. of the 5th Prag-matics of SAT Workshop (POS-14), EasyChair Proceedings in Computing, Vol. 27 (2014), pp. 41-56.
-
(2014)
Proc. of the 5th Prag-matics of SAT Workshop (POS-14), EasyChair Proceedings in Computing
, vol.27
, pp. 41-56
-
-
Mann, Z.A.1
Papp, P.A.2
-
13
-
-
84889603350
-
SSTP: An approach to solve SAT instances through partition
-
J. Torres-Jimenez, L. Vega-Garcia, C. A. Coutino-Gomez and F. J. Cartujano-Escobar, SSTP: An approach to solve SAT instances through partition, in 4th WSEAS Int. Conf. on Information Science, Communications and Applications (ISA 2004) (2004), pp. 484-403.
-
(2004)
4th WSEAS Int. Conf. on Information Science, Communications and Applications (ISA 2004)
, pp. 403-484
-
-
Torres-Jimenez, J.1
Vega-Garcia, L.2
Coutino-Gomez, C.A.3
Cartujano-Escobar, F.J.4
-
14
-
-
33745463025
-
Guiding SAT diagnosis with tree decompositions
-
Springer
-
P. Bjesse, J. Kukula, R. Damiano, T. Stanion and Y. Zhu, Guiding SAT diagnosis with tree decompositions, in Theory and Applications of Satisfiability Testing-Selected Revised Papers of SAT 2003 (Springer, 2004), pp. 315-329.
-
(2004)
Theory and Applications of Satisfiability Testing-Selected Revised Papers of SAT 2003
, pp. 315-329
-
-
Bjesse, P.1
Kukula, J.2
Damiano, R.3
Stanion, T.4
Zhu, Y.5
-
16
-
-
84865232764
-
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
-
17
-
-
84868112170
-
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
-
Springer
-
M. J. Heule, O. Kullmann, S. Wieringa and A. Biere, Cube and conquer: Guiding CDCL SAT solvers by lookaheads, in Hardware and Software: Verification and Testing (Springer, 2011), pp. 50-65.
-
(2011)
Hardware and Software: Verification and Testing
, pp. 50-65
-
-
Heule, M.J.1
Kullmann, O.2
Wieringa, S.3
Biere, A.4
-
18
-
-
41349117788
-
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
-
21
-
-
84958543244
-
Impact of community structure on SAT solver performance
-
Z. Newsham, V. Ganesh, S. Fischmeister, G. Audemard and L. Simon, Impact of community structure on SAT solver performance, in Int. Conf. on Theory and Appli-cations of Satisfiability Testing (SAT 2014) (2014), pp. 252-268.
-
(2014)
Int. Conf. on Theory and Appli-cations of Satisfiability Testing (SAT 2014)
, pp. 252-268
-
-
Newsham, Z.1
Ganesh, V.2
Fischmeister, S.3
Audemard, G.4
Simon, L.5
-
29
-
-
40849126877
-
Satisfiability solvers
-
eds. F. van Harmelen, V. Lifschitz and B. Porter, Elsevier
-
C. P. Gomes, H. Kautz, A. Sabharwal and B. Selman, Satisfiability solvers, in Hand-book of Knowledge Representation, eds. F. van Harmelen, V. Lifschitz and B. Porter (Elsevier, 2008) pp. 89-134.
-
(2008)
Hand-book of Knowledge Representation
, pp. 89-134
-
-
Gomes, C.P.1
Kautz, H.2
Sabharwal, A.3
Selman, B.4
-
31
-
-
0004520276
-
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
-
32
-
-
0034852165
-
Chaff: Engineering an efficient SAT solver
-
ACM
-
M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang and S. Malik, Chaff: Engineering an efficient SAT solver, in Proc. of the 38th Annual Design Automation Conference (ACM, 2001), pp. 530-535.
-
(2001)
Proc. of the 38th Annual Design Automation Conference
, pp. 530-535
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
33
-
-
84961718114
-
-
Department of Computer Science Series of Publications B (University of Helsinki)
-
A. Balint, A. Belov, D. Diepold, S. Gerber, M. Järvisalo and C. Sinz (Eds.), Proc. of SAT Challenge 2012: Solver and Benchmark Descriptions B-2012-2, Department of Computer Science Series of Publications B (University of Helsinki, 2012).
-
(2012)
Proc. of SAT Challenge 2012: Solver and Benchmark Descriptions B-2012-2
-
-
Balint, A.1
Belov, A.2
Diepold, D.3
Gerber, S.4
Järvisalo, M.5
Sinz, C.6
-
38
-
-
0033099622
-
Multilevel hypergraph partitioning: Applications in VLSI domain
-
G. Karypis, R. Aggarwal, V. Kumar and S. Shekhar, Multilevel hypergraph partitioning: Applications in VLSI domain, IEEE Transactions on Very Large Scale Integration (VLSI) Systems 7(1) (1999) 69-79.
-
(1999)
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
, vol.7
, Issue.1
, pp. 69-79
-
-
Karypis, G.1
Aggarwal, R.2
Kumar, V.3
Shekhar, S.4
-
41
-
-
84990479742
-
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
-
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
-
49
-
-
29344468730
-
Backbones and backdoors in satisfiability
-
P. Kilby, J. Slaney, S. Thiebaux and T. Walsh, Backbones and backdoors in satisfiability, in Proc. of the 20th National Conf. on Artificial Intelligence (AAAI'05) (2005), pp. 1368-1373.
-
(2005)
Proc. of the 20th National Conf. on Artificial Intelligence (AAAI'05)
, pp. 1368-1373
-
-
Kilby, P.1
Slaney, J.2
Thiebaux, S.3
Walsh, T.4
-
50
-
-
33749353851
-
Improving system level design space exploration by incorporating SAT-solvers into multi-objective evolutionary algorithms
-
T. Schlichter, M. Lukasiewycz, C. Haubelt and J. Teich, Improving system level design space exploration by incorporating SAT-solvers into multi-objective evolutionary algorithms, in IEEE Computer Society Annual Symp. on Emerging VLSI Technologies and Architectures (2006), pp. 309-316.
-
(2006)
IEEE Computer Society Annual Symp. on Emerging VLSI Technologies and Architectures
, pp. 309-316
-
-
Schlichter, T.1
Lukasiewycz, M.2
Haubelt, C.3
Teich, J.4
|