conftrace_

model finding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

clause complexity (1) ontology reasoning (1) sat solver (1) first-order logic (1) automated reasoning (1)

Papers

Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019