conftrace_

allsat solver

1 paper

Explore in graph

Also known as

ALLSAT

Co-occurring keywords · papers mentioning both

agm revision (1) belief revision (1) hamming distance (1) parallel processing (1)

Papers

GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020