Neng-Fa Zhou

From MaRDI portal
Person:2893098

Available identifiers

zbMath Open zhou.neng-faMaRDI QIDQ2893098

List of research outcomes





PublicationDate of PublicationType
A comparison of SAT encodings for acyclicity of directed graphs2024-11-26Paper
Robust Multi-Agent Path Finding and Executing2020-05-14Paper
Planning as tabled logic programming2017-11-09Paper
Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014-11-25Paper
Efficient tabling of structured data with enhanced hash-consing2013-03-13Paper
The language features and architecture of B-Prolog2012-06-25Paper
Linear tabling strategies and optimizations2008-01-21Paper
Programming finite-domain constraint propagators in Action Rules2006-08-28Paper
Linear tabulated resolution based on Prolog control strategy2004-03-01Paper
https://portal.mardi4nfdi.de/entity/Q44202772003-08-17Paper
https://portal.mardi4nfdi.de/entity/Q44130602003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q44992472001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q49448662000-03-22Paper
Global Optimizations in a Prolog Compiler for the Toam1993-06-29Paper

Research outcomes over time

This page was built for person: Neng-Fa Zhou

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2893098&oldid=7564263"
Powered by MediaWiki