2001.

ICS (Integrated Canonizer and Solver) is a decision procedure developed at SRI International. It is based on well-developed theory, it efficiently decides formulas in a useful combination of theories, and it provides an API that makes it suitable for use in applications with highly dynamic environments such as proof search or symbolic simulation.

@unpublished{FilliatreOwreRuessShankar:CAV2001,
    AUTHOR = {Jean-Christophe Filli\^{a}tre and Sam Owre and Harald Rue\ss and {N.} Shankar},
    TITLE = {{ICS:} Integrated Canonizer and Solver},
    NOTE = {To be presented at {CAV'2001}},
    YEAR = {2001},
    URL = {http://www.csl.sri.com/papers/cav01/}
}

• ics.ps.gz