Wyniki wyszukiwania dla: Zhaohui Fu
Archives of Insect Biochemistry and Physiology > 106 > 4 > n/a - n/a
Inflammation > 2019 > 42 > 6 > 2236-2245
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > SAT Solver Competition and QBF Solver Evaluation (Invited Papers) > 360-375
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 6. MAX-SAT > 252-265
Lecture Notes in Computer Science > Genetic and Evolutionary Computation — GECCO 2003 > Real World Applications > 1986-1997
Lecture Notes in Computer Science > Computer Aided Verification > Session XIII: Assume-Guarantee Reasoning > 420-432
Petroleum Geology & Experiment > 2015 > 37 > 1 > 1-7
Journal of Phytopathology > 160 > 11-12 > 755 - 757
Journal of Chromatography A > 2008 > 1209 > 1-2 > 271-274
Formal Methods in System Design > 2008 > 32 > 3 > 285-301