HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Luís Cruz-Filipe

Publications
Minimizing Sorting Networks at the Sub-Comparator Level
Luís Cruz-Filipe and Peter Schneider-Kamp
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Keep me out of the loop: a more flexible choreographic projection
Luís Cruz-Filipe, Fabrizio Montesi and Robert R. Rasmussen
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Formally Proving the Boolean Pythagorean Triples Conjecture
Luís Cruz-Filipe and Peter Schneider-Kamp
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Boolean Pythagorean Triples problem, Certified implementation, Choreographic Programming, constraint solving, distributed protocols, formal proofs, interactive theorem proving, program optimization, satisfiability, sorting networks, theorem proving.

Copyright © 2012-2025 easychair.org. All rights reserved.