conftrace_

search similarity index

1 paper

Explore in graph

Also known as

SSI

Co-occurring keywords · papers mentioning both

heuristic analysis (1) search heuristic (1) restart strategy (1) sat solver (1)

Papers

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) AAAI 2023