VSL 2014: VIENNA SUMMER OF LOGIC 2014

Lazy Model Expansion: Interleaving Grounding with Search

Authors: Broes De Cat, Marc Denecker, Peter Stuckey, Maurice Bruynooghe and Bart Bogaerts

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Lazy Model Expansion: Interleaving Grounding with Search
Authors:Broes De Cat, Marc Denecker, Peter Stuckey, Maurice Bruynooghe and Bart Bogaerts
Proceedings:LaSh 2014 Proceedings
Editors: Emilia Oikarinen, Marc Denecker and David Mitchell
Keywords:
Abstract:
Pages:1
Talk:Jul 18 15:30
Paper:
Disclaimer | Powered by EasyChair Smart Program