VSL 2014: VIENNA SUMMER OF LOGIC 2014

Combinatorial Search With Picat

Author: Neng-Fa Zhou

ICLP VolumesPapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Combinatorial Search With Picat
Authors:Neng-Fa Zhou
Proceedings:ICLP 2014 VSL proceedings
Editors: Michael Leuschel, Tom Schrijvers and Martin Gebser
Keywords:
Abstract:
Pages:13
Paper:
Disclaimer | Powered by EasyChair Smart Program