Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: ANTONIUS WEINZIERL, RICHARD TAUPE, GERHARD FRIEDRICH

Journal title: Theory and Practice of Logic Programming

Journal number: 20/5

Journal publisher: Cambridge University Press

Published year: 2020

Published pages: 609-624

DOI identifier: 10.1017/s1471068420000332

ISSN:1471-0684

Results type(s)
Unfold all
/
Fold all
Report - Video - Presentation - Publication....?
Report - Video - Presentation - Publication....?
Publication
Structured mapping
Unfold all
/
Fold all
Report - Video - Presentation - Publication....?
Publication
System resource tags
CORDA
Electronics and ICT as enabler for digital industry and optimized supply chain management covering the entire product lifecycle
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Contacts
Not specified (see website if available) or see associated project
Associated projects
Associated products/services
  • No items published
Organisations
  • Not specified
Powered by Chris Decubber BV