Symposium on Abstraction, Reformulation, and Approximation
Eighth Symposium on Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances

Jégou, Paris




Search conference
Close