DPLL (T) with exhaustive theory propagation and its application to difference logic
収録刊行物
-
- Proc. 17th Int. Conf. on Computer Aided Verification (CAV'05)
-
Proc. 17th Int. Conf. on Computer Aided Verification (CAV'05) 321-334, 2005