Skip to content
conftrace_

sat-based algorithm

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

iterated belief revision (1) revision operator (1) axiomatic characterization (1) pattern matching (1) agent alignment (1) graph pattern matching (1) wildcard node (1) graph pattern (1) regular graph pattern (1) regular expression (1)

Papers

SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024 Pitfalls of Learning a Reward Function Online IJCAI 2020