共 50 条
- [7] Is the standard proof system for SAT p-optimal? FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2000, 1974 : 361 - 372
- [9] A semimartingale backward equation related to the p-optimal martingale measure and the lower price of a contingent claim STOCHASTIC PROCESSES AND RELATED TOPICS, 2002, 12 : 189 - 212
- [10] On p-Optimal Proof Systems and Logics for PTIME AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, 2010, 6199 : 321 - +