conftrace_

lifted first-order model counting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

integer sequence (1) automated theorem proving (1) combinatorial object (1) first-order logic (1)

Papers

On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023