共 29 条
- [1] Aspvall B.(1979)A linear-time algorithm for testing the truth of certain quantified Boolean formulas Information Processing Letters 8 121-123
- [2] Plass M.F.(1999)A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems Journal of Combinatorial Optimization 2 299-306
- [3] Tarjan R.E.(2002)A deterministic (2−2/( Theoretical Computer Science 289 69-83
- [4] Borchers B.(1962)+1)) Communications of the Association for Computing Machinery 7 394-397
- [5] Furman J.(1960) algorithm for Mat. Kutato Int. Kozl. 5 17-61
- [6] Dantsin E.(2003)-SAT based on local search Discrete Applied Mathematics 130 139-155
- [7] Goerdt A.(1990)A machine program for theorem-proving Computing 44 279-303
- [8] Hirsch E.A.(2000)On the evolution of random graphs Journal of Automated Reasoning 24 397-420
- [9] Kannan R.(1999)Worst-case upper bounds for MAX-2-SAT with application to MAX-CUT Journal of Algorithms 31 335-354
- [10] Kleinberg J.(2000)Algorithms for the maximum satisfiability problem Journal of Algorithms 36 63-88