conftrace_

finite domain solving

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

array constraint (1) software verification (1) smt solver (1) constraint solving (1)

Papers

Efficient and Complete FD-solving for extended array constraints IJCAI 2017