An On-Line Satisfiability Algorithm for Conjunctive Normal Form Expressions with Two Literals
暂无分享,去创建一个
[1] Rajeev Motwani,et al. On Certificates and Lookahead in Dynamic Graph Problems , 1996, SODA '96.
[2] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .
[3] Robert E. Tarjan,et al. Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..
[4] Stephen A. Cook,et al. The complexity of theorem-proving procedures , 1971, STOC.
[5] Robert E. Tarjan,et al. A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas , 1979, Inf. Process. Lett..
[6] Franco P. Preparata,et al. An optimal real-time algorithm for planar convex hulls , 1979, CACM.