HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Carsten Sinz

Publications
A Problem Meta-Data Library for Research in SAT
Markus Iser and Carsten Sinz
In:Proceedings of Pragmatics of SAT 2015 and 2018
A Theory of Arrays with set and copy Operations
Stephan Falke, Carsten Sinz and Florian Merz
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories

Keyphrases

bitvectors, copy, experiments, integers, memcpy, memmove, memset, meta-data library, problem fingerprinting, SET, SMT, Theory of Arrays.

Copyright © 2012-2025 easychair.org. All rights reserved.