pith. sign in

Neng-Fa Zhou

Identifiers

  • name variant Neng-Fa Zhou 0.60 · backfill

Papers (9)

  1. Combinatorial Search With Picat cs.PL · 2014 · author #1
  2. Using Tabled Logic Programming to Solve the Petrobras Planning Problem cs.AI · 2014 · author #2
  3. Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations cs.PL · 2013 · author #1
  4. Efficient Tabling of Structured Data with Enhanced Hash-Consing cs.PL · 2012 · author #1
  5. The Language Features and Architecture of B-Prolog cs.PL · 2011 · author #1
  6. Proceedings of CICLOPS-WLPE 2010 cs.PL · 2010 · author #2
  7. Linear Tabling Strategies and Optimizations cs.PL · 2007 · author #1
  8. Programming Finite-Domain Constraint Propagators in Action Rules cs.PL · 2005 · author #1
  9. Linear Tabulated Resolution Based on Prolog Control Strategy cs.AI · 2000 · author #4

Mentions

  • 1405.2538 #1 · backfill · confidence 0.70 Neng-Fa Zhou
  • 1405.2501 #2 · backfill · confidence 0.70 Neng-Fa Zhou
  • 1301.7673 #1 · backfill · confidence 0.70 Neng-Fa Zhou
  • 1210.1611 #1 · backfill · confidence 0.70 Neng-Fa Zhou
  • 1103.0812 #1 · backfill · confidence 0.70 Neng-Fa Zhou
  • 1009.4020 #2 · backfill · confidence 0.70 Neng-Fa Zhou
  • 0705.3468 #1 · backfill · confidence 0.70 Neng-Fa Zhou

Frequent Coauthors