conftrace_

process calculus

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

search strategy (1) constraint solver (1) programming language (1) search strategies (1) synchronous process (1) constraint satisfaction problem (1) constraint satisfaction (1)

Papers

Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017