共 50 条
- [11] Estimating the number of solutions for SAT problems PARALLEL PROBLEM SOLVING FROM NATURE - PPSN VIII, 2004, 3242 : 101 - 110
- [12] Improved algorithms for counting solutions in constraint satisfaction problems PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 81 - 95
- [13] Counting the world's poor: Problems and possible solutions WORLD BANK RESEARCH OBSERVER, 2001, 16 (02): : 125 - 147
- [16] SOME COMBUSTION PROBLEMS OF LIGNITE AT GYONGYOSVISONTA AND THEIR SOLUTIONS ENERGIA ES ATOMTECHNIKA, 1972, 25 (07): : 322 - &
- [17] A SKELETAL MECHANISM FOR THE REACTIVE FLOW SIMULATION OF METHANE COMBUSTION PROCEEDINGS OF THE ASME TURBO EXPO: TURBINE TECHNICAL CONFERENCE AND EXPOSITION, 2013, VOL 1B, 2013,