conftrace_

constraint logic programming

3 papers

Explore in graph

Also known as

CLP

Co-occurring keywords · papers mentioning both

neural-guided search (1) fixpoint theory (1) graph neural network (1) formal semantics (1) search guidance (1) project scheduling (1) programming by example (1) recurrent neural network (1) answer set programming (1) program synthesis (1)

Papers

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025 Constraint Logic Programming for Real-World Test Laboratory Scheduling AAAI 2021 Neural Guided Constraint Logic Programming for Program Synthesis NeurIPS 2018