-
2
-
-
0001548856
-
A linear-time algorithm for testing the truth of certain quantified Boolean formulas
-
Aspvall, B., Plass, M. F., and Tarjan, R. E.: A linear-time algorithm for testing the truth of certain quantified Boolean formulas, Inform. Process. Lett. 8(3) (1979), 121-123.
-
(1979)
Inform. Process. Lett.
, vol.8
, Issue.3
, pp. 121-123
-
-
Aspvall, B.1
Plass, M.F.2
Tarjan, R.E.3
-
3
-
-
0041881275
-
Solving large-scale sparse semidefinite programs for combinatorial optimization
-
Computational Optimization Lab., Department of Management Science, University of Iowa, Iowa City
-
Benson, S. J., Ye, Y., and Zhang, X.: Solving large-scale sparse semidefinite programs for combinatorial optimization, Technical Report, Computational Optimization Lab., Department of Management Science, University of Iowa, Iowa City, 1997.
-
(1997)
Technical Report
-
-
Benson, S.J.1
Ye, Y.2
Zhang, X.3
-
4
-
-
0000971541
-
Edmonds polytopes and a hierarchy of combinatorial problems
-
Chvátal, V.: Edmonds polytopes and a hierarchy of combinatorial problems, Discrete Math. 4 (1973), 305-337.
-
(1973)
Discrete Math.
, vol.4
, pp. 305-337
-
-
Chvátal, V.1
-
6
-
-
0023466724
-
On the complexity of cutting plane proofs
-
Cook, W., Coullard, C. R., and Turan, G.: On the complexity of cutting plane proofs, Discrete Appl. Math. 18 (1987), 25-38.
-
(1987)
Discrete Appl. Math.
, vol.18
, pp. 25-38
-
-
Cook, W.1
Coullard, C.R.2
Turan, G.3
-
7
-
-
84919401135
-
A machine program for theorem proving
-
Davis, M., Logemann, M., and Loveland, D.: A machine program for theorem proving, Comm. ACM 5 (1962), 394-397.
-
(1962)
Comm. ACM
, vol.5
, pp. 394-397
-
-
Davis, M.1
Logemann, M.2
Loveland, D.3
-
8
-
-
0003459683
-
-
Ph.D. Thesis, Delft University of Technology, Delft, The Netherlands
-
de Klerk, E.: Interior point methods for semidefinite programming, Ph.D. Thesis, Delft University of Technology, Delft, The Netherlands, 1997.
-
(1997)
Interior Point Methods for Semidefinite Programming
-
-
De Klerk, E.1
-
9
-
-
33645458549
-
Approximate graph colouring algorithms based on the v-function
-
In preparation
-
de Klerk, E., Pasechnik, D. V., and Warners, J. P.: Approximate graph colouring algorithms based on the v-function, Technical Report, 1999. In preparation.
-
(1999)
Technical Report
-
-
De Klerk, E.1
Pasechnik, D.V.2
Warners, J.P.3
-
10
-
-
22944444674
-
Semidefinite programming techniques for MAX-2-SAT and MAX-3-SAT: Computational perspectives
-
Department of Technical Mathematics and Informatics, Faculty of Information Technology and Systems, Delft University of Technology, Delft, The Netherlands
-
de Klerk, E. and Warners, J. P.: Semidefinite programming techniques for MAX-2-SAT and MAX-3-SAT: Computational perspectives, Technical Report 98-34, Department of Technical Mathematics and Informatics, Faculty of Information Technology and Systems, Delft University of Technology, Delft, The Netherlands, 1998.
-
(1998)
Technical Report
, vol.98
, Issue.34
-
-
De Klerk, E.1
Warners, J.P.2
-
11
-
-
0010916383
-
-
Du, D., Gu, J., and Pardalos, P. M. (eds.) DIMACS Series in Discrete Math, and Comput. Sci. 35, Amer. Math. Soc.
-
Du, D., Gu, J., and Pardalos, P. M. (eds.): Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Math, and Comput. Sci. 35, Amer. Math. Soc., 1997.
-
(1997)
Satisfiability Problem: Theory and Applications
-
-
-
12
-
-
85027123851
-
Approximating the value of two prover proof systems with applications to MAX 2SAT and MAX DICUT
-
Feige, U. and Goemans, M.: Approximating the value of two prover proof systems with applications to MAX 2SAT and MAX DICUT, in Proc. Third Israel Symposium on Theory of Computing and Systems, 1995, pp. 182-189.
-
(1995)
Proc. Third Israel Symposium on Theory of Computing and Systems
, pp. 182-189
-
-
Feige, U.1
Goemans, M.2
-
13
-
-
84893574327
-
Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
-
Goemans, M. X. and Williamson, D. P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming, J. ACM 42(6) (1995), 1115-1145.
-
(1995)
J. ACM
, vol.42
, Issue.6
, pp. 1115-1145
-
-
Goemans, M.X.1
Williamson, D.P.2
-
14
-
-
0004520276
-
-
Gu, J., Purdom, P. W., Franco, J., and Wah, B. W.: Algorithms for the satisfiability (SAT) problem: A survey, in Du et al. [11], pp. 9-151.
-
Algorithms for the Satisfiability (SAT) Problem: A Survey, in du et Al. [11]
, pp. 9-151
-
-
Gu, J.1
Purdom, P.W.2
Franco, J.3
Wah, B.W.4
-
15
-
-
0000076101
-
The intractability of resolution
-
Haken, A.: The intractability of resolution, Theoret. Comput. Sci. 39 (1985), 297-308.
-
(1985)
Theoret. Comput. Sci.
, vol.39
, pp. 297-308
-
-
Haken, A.1
-
16
-
-
0004975003
-
A spectral bundle method for SDP
-
Preprint SC-97-37, Konrad-Zuse-Zentrum, Berlin
-
Helmberg, C. and Rendl, F.: A spectral bundle method for SDP, Technical Report ZIB, Preprint SC-97-37, Konrad-Zuse-Zentrum, Berlin, 1997.
-
(1997)
Technical Report ZIB
-
-
Helmberg, C.1
Rendl, F.2
-
17
-
-
0023962177
-
Resolution vs. cutting plane solution of inference problems: Some computational experience
-
Hooker, J. N.: Resolution vs. cutting plane solution of inference problems: some computational experience, Oper. Res. Lett. 7(1) (1988), 1-7.
-
(1988)
Oper. Res. Lett.
, vol.7
, Issue.1
, pp. 1-7
-
-
Hooker, J.N.1
-
19
-
-
0027929635
-
Upper and lower bounds for treelike cutting plane proofs
-
Impagliazzo, R., Pitassi, T., and Urquhart, A.: Upper and lower bounds for treelike cutting plane proofs, in Proceedings of the 9th Annual IEEE Symposium on Logic in Computer Science, 1994, pp. 220-228.
-
(1994)
Proceedings of the 9th Annual IEEE Symposium on Logic in Computer Science
, pp. 220-228
-
-
Impagliazzo, R.1
Pitassi, T.2
Urquhart, A.3
-
21
-
-
33645452047
-
Investigations on autark assignments
-
Johann Wolfgang Goethe-Universität, Fachbereich Mathematik, 60054 Frankfurt, Germany, Submitted
-
Kullmann, O.: Investigations on autark assignments, Technical Report, Johann Wolfgang Goethe-Universität, Fachbereich Mathematik, 60054 Frankfurt, Germany, 1998. Submitted.
-
(1998)
Technical Report
-
-
Kullmann, O.1
-
22
-
-
0018292109
-
On the Shannon capacity of a graph
-
Lovász, L.: On the Shannon capacity of a graph, IEEE Trans. Inform. Theory 25 (1979), 1-7.
-
(1979)
IEEE Trans. Inform. Theory
, vol.25
, pp. 1-7
-
-
Lovász, L.1
-
23
-
-
0001154274
-
Cones of matrices and set-functions and 0-1 optimization
-
Lovász, L. and Schrijver, A.: Cones of matrices and set-functions and 0-1 optimization, SIAM J. Optim. 1(2) (1991), 166-190.
-
(1991)
SIAM J. Optim.
, vol.1
, Issue.2
, pp. 166-190
-
-
Lovász, L.1
Schrijver, A.2
-
24
-
-
33645455645
-
Elliptic approximations of prepositional formulae
-
Technical Report 96-65, Faculty of Technical Mathematics and Informatics, Delft University of Technology, Delft, The Netherlands, 1996.
-
Van Maaren, H.: Elliptic approximations of prepositional formulae, Technical Report 96-65, Faculty of Technical Mathematics and Informatics, Delft University of Technology, Delft, The Netherlands, 1996. To appear in Discrete Appl. Math.
-
Discrete Appl. Math.
-
-
Van Maaren, H.1
-
26
-
-
0347255973
-
Solving satisfiability problems using elliptic approximations - A note on volumes and weights
-
Department of Technical Mathematics and Informatics, Faculty of Information Technology and Systems, Delft University of Technology, Delft, The Netherlands
-
Van Maaren, H. and Warners, J. P.: Solving satisfiability problems using elliptic approximations - a note on volumes and weights, Technical Report 98-32, Department of Technical Mathematics and Informatics, Faculty of Information Technology and Systems, Delft University of Technology, Delft, The Netherlands, 1998.
-
(1998)
Technical Report
, vol.98
, Issue.32
-
-
Van Maaren, H.1
Warners, J.P.2
-
29
-
-
0001321687
-
A hierarchy of relaxations between the continuous and convex hull representations for 0-1 programming problems
-
Sherali, H. D. and Adams, W. P.: A hierarchy of relaxations between the continuous and convex hull representations for 0-1 programming problems, SIAM J. Discrete Math. 3(3) (1990), 411-430.
-
(1990)
SIAM J. Discrete Math.
, vol.3
, Issue.3
, pp. 411-430
-
-
Sherali, H.D.1
Adams, W.P.2
-
31
-
-
0142052140
-
Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones
-
Communications Research Laboratory, McMaster University, Hamilton, Canada
-
Sturm, J. F.: Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones, Technical Report, Communications Research Laboratory, McMaster University, Hamilton, Canada, 1998.
-
(1998)
Technical Report
-
-
Sturm, J.F.1
-
32
-
-
0030406663
-
Gadgets, approximation and linear programming
-
Trevisan, L., Sorkin, G., Sudan, M., and Williamson, D.: Gadgets, approximation and linear programming, in Proceedings of the 37th Symposium on the Foundations of Computer Science, 1996, pp. 617-626.
-
(1996)
Proceedings of the 37th Symposium on the Foundations of Computer Science
, pp. 617-626
-
-
Trevisan, L.1
Sorkin, G.2
Sudan, M.3
Williamson, D.4
-
34
-
-
0030106462
-
Semidefinite programming
-
Vandenberghe, L. and Boyd, S.: Semidefinite programming, SIAM Rev. 38 (1996), 49-95.
-
(1996)
SIAM Rev.
, vol.38
, pp. 49-95
-
-
Vandenberghe, L.1
Boyd, S.2
-
35
-
-
33645455977
-
Recognition of tractable satisfiability problems through balanced polynomial representations
-
To appear
-
Warners, J. P. and Van Maaren, H.: Recognition of tractable satisfiability problems through balanced polynomial representations, Discrete Appl. Math., 1999. To appear.
-
(1999)
Discrete Appl. Math.
-
-
Warners, J.P.1
Van Maaren, H.2
-
36
-
-
0347255973
-
Solving satisfiability problems using elliptic approximations - Effective branching rules
-
Technical Report 98-18, Department of Technical Mathematics and Informatics, Faculty of Information Technology and Systems, Delft University of Technology, Delft, The Netherlands
-
Warners, J. P. and Van Maaren, H.: Solving satisfiability problems using elliptic approximations - effective branching rules, Technical Report 98-18, Department of Technical Mathematics and Informatics, Faculty of Information Technology and Systems, Delft University of Technology, Delft, The Netherlands, 1998. Accepted for publication in Discrete Appl. Math.
-
(1998)
Discrete Appl. Math.
-
-
Warners, J.P.1
Van Maaren, H.2
-
37
-
-
0032178308
-
A two-phase algorithm for solving a class of hard satisfiability problems
-
Warners, J. P. and Van Maaren, H.: A two-phase algorithm for solving a class of hard satisfiability problems, Oper. Res. Lett. 23(3-5) (1999), 81-88.
-
(1999)
Oper. Res. Lett.
, vol.23
, Issue.3-5
, pp. 81-88
-
-
Warners, J.P.1
Van Maaren, H.2
|