Infoscience

Conference paper

Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

Related material