Infoscience

Conference paper

An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic

    Note:

    Superseded by citeKuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic

    Reference

    • LARA-CONF-2005-003

    Record created on 2007-08-21, modified on 2016-08-08

Related material