BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Manuel Carro
SearchCollections
Map detail
Manuel Carro12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipManuel CarroAManuel CarroResearcherPapers presented at the 32nd International Conference on Logic Programming (ICLP 2016)WPapers presented at the...preprint / 2016Justifications for Goal-Directed Constraint Answer Set ProgrammingWJustifications for Goal...preprint / 2020Description and Optimization of Abstract Machines in a Dialect of PrologWDescription and Optimiz...preprint / 2014Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand TablingWSwapping Evaluation: A ...preprint / 2010Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural CodeWTowards Automatic Learn...preprint / 2016Building Information Modeling Using Constraint Logic ProgrammingWBuilding Information Mo...preprint / 2022Parallel Backtracking with Answer Memoing for Independent And-ParallelismWParallel Backtracking w...preprint / 2011Lightweight compilation of (C)LP to JavaScriptWLightweight compilation...preprint / 2012Proceedings 41st International Conference on Logic ProgrammingWProceedings 41st Intern...preprint / 2025Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous ArchitecturesWProceedings of the Firs...preprint / 2016Towards a Semantics-Aware Transformation Toolchain for Heterogeneous SystemsWTowards a Semantics-Awa...preprint / 2016
Person11 links

Manuel Carro

Researcher

PaperPapers presented at the 32nd International Conference on Logic Programming (ICLP 2016)Authorship / preprint / 2016PaperJustifications for Goal-Directed Constraint Answer Set ProgrammingAuthorship / preprint / 2020PaperDescription and Optimization of Abstract Machines in a Dialect of PrologAuthorship / preprint / 2014PaperSwapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand TablingAuthorship / preprint / 2010PaperTowards Automatic Learning of Heuristics for Mechanical Transformations of Procedural CodeAuthorship / preprint / 2016PaperBuilding Information Modeling Using Constraint Logic ProgrammingAuthorship / preprint / 2022PaperParallel Backtracking with Answer Memoing for Independent And-ParallelismAuthorship / preprint / 2011PaperLightweight compilation of (C)LP to JavaScriptAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)