Skip to content
conftrace_

first-order predicate logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

counterexample guided inductive synthesis (1) constrained horn clause (1) predicate logic (1) model checking (1) graphical model (1) constraint satisfaction (1) program verification (1) constraint solving (1) probabilistic inference (1)

Papers

Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020