[ACM Press the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop - Princeton, New Jersey (2008.07.07-2008.07.14)] Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning - SMT '08/BPR '08 - Using an SMT solver and Craig interpolation to detect and remove redundant linear constraints in representations of non-convex polyhedra
Scholl, Christoph, Disch, Stefan, Pigorsch, Florian, Kupferschmid, StefanYear:
2008
Language:
english
DOI:
10.1145/1512464.1512469
File:
PDF, 309 KB
english, 2008