共 50 条
- [34] Solving SAT in linear time with a neural-like membrane system [J]. COMPUTATIONAL METHODS IN NEURAL MODELING, PT 1, 2003, 2686 : 662 - 669
- [35] Polynomial time in untyped elementary linear logic [J]. THEORETICAL COMPUTER SCIENCE, 2020, 813 (813) : 117 - 142
- [37] Certified sparse linear system solving [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2004, 38 (05) : 1343 - 1373
- [38] Certified dense linear system solving [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2004, 37 (04) : 485 - 510