Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks
暂无分享,去创建一个
[1] Klaus Truemper,et al. A decomposition theory for matroids. V. Testing of matrix total unimodularity , 1990, J. Comb. Theory, Ser. B.
[2] V. Chandru,et al. Optimization Methods for Logical Inference , 1999 .
[3] J. A. Bondy,et al. Graph Theory with Applications , 1978 .
[4] Ravindra K. Ahuja,et al. Network Flows: Theory, Algorithms, and Applications , 1993 .
[5] Alexander Schrijver,et al. Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.
[6] Alon Itai,et al. On the Complexity of Timetable and Multicommodity Flow Problems , 1976, SIAM J. Comput..
[7] Klaus Truemper,et al. Effective logic computation , 1998 .
[8] Robert E. Tarjan,et al. Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..
[9] Klaus Truemper,et al. An Effective Algorithm for the Futile Questioning Problem , 2005, Journal of Automated Reasoning.
[10] Elwood S. Buffa,et al. Graph Theory with Applications , 1977 .
[11] Robert E. Tarjan,et al. A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas , 1979, Inf. Process. Lett..
[12] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[13] Steffen Klamt,et al. A Logical Model Provides Insights into T Cell Receptor Signaling , 2007, PLoS Comput. Biol..