DMCA

Generalizing redundancy in propositional logic: Foundations and hitting sets duality

Cached

Download Links

by Anton Belov , Joao Marques-silva
Venue:CoRR
Citations:4 - 1 self