VSL 2014: VIENNA SUMMER OF LOGIC 2014

Proofs for Optimality of Sorting Networks by Logic Programming

Authors: Michael Codish, Luís Cruz-Filipe, Michael Frank and Peter Schneider-Kamp

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Proofs for Optimality of Sorting Networks by Logic Programming
Authors:Michael Codish, Luís Cruz-Filipe, Michael Frank and Peter Schneider-Kamp
Proceedings:CICLOPS-WLPE 2014 Papers
Editors: Thomas Stroeder and Terrance Swift
Keywords:
Abstract:
Pages:1
Talk:Jul 17 08:45
Paper:
Disclaimer | Powered by EasyChair Smart Program