Các bài viết có thể truy cập công khai - Neng-Fa ZhouTìm hiểu thêm
Có tại một số nơi: 11
Modeling and solving the multi-agent pathfinding problem in picat
R Barták, NF Zhou, R Stern, E Boyarski, P Surynek
2017 IEEE 29th International Conference on Tools with Artificial …, 2017
Các cơ quan ủy nhiệm: US National Science Foundation
Tackling NCD in LMIC: achievements and lessons learned from the NHLBI–UnitedHealth Global Health Centers of Excellence Program
MM Engelgau, UK Sampson, C Rabadan-Diehl, R Smith, J Miranda, ...
Global heart 11 (1), 5-15, 2016
Các cơ quan ủy nhiệm: US National Institutes of Health, UK Medical Research Council, Wellcome Trust
Optimizing SAT encodings for arithmetic constraints
NF Zhou, H Kjellerstrand
Principles and Practice of Constraint Programming: 23rd International …, 2017
Các cơ quan ủy nhiệm: US National Science Foundation
Efficient tabling of structured data with enhanced hash-consing
NF Zhou, CT Have
Theory and Practice of Logic Programming 12 (4-5), 547-563, 2012
Các cơ quan ủy nhiệm: Danish Council for Strategic Research
On modeling planning problems in tabled logic programming
R Barták, A Dovier, NF Zhou
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
Các cơ quan ủy nhiệm: Government of Italy
In pursuit of an efficient SAT encoding for the Hamiltonian cycle problem
NF Zhou
International Conference on Principles and Practice of Constraint …, 2020
Các cơ quan ủy nhiệm: US National Science Foundation
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain
R Barták, L Chrpa, A Dovier, J Vodrážka, NF Zhou
Science of Computer Programming 147, 54-77, 2017
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
Canonicalizing High-Level Constructs in Picat
NF Zhou, J Fruhman
International Symposium on Practical Aspects of Declarative Languages, 19-33, 2016
Các cơ quan ủy nhiệm: US National Science Foundation
Compiling and executing PDDL in picat
MD Bortoli, R Barták, A Dovier, NF Zhou
CEUR WORKSHOP PROCEEDINGS 1645, 132-147, 2016
Các cơ quan ủy nhiệm: Government of Italy
Encoding pb constraints into sat via binary adders and bdds–revisited
NF Zhou, H Kjellerstrand
Workshop on Experimental Evaluation of Algorithms for Solving Problems with …, 2018
Các cơ quan ủy nhiệm: US National Science Foundation
Constraint-based Part-of-Speech Tagging
NF Zhou
Các cơ quan ủy nhiệm: US National Science Foundation
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ