HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Martin Mariusz Lester

Publications
Solving XCSP3 Constraint Problems Using Tools from Software Verification
Martin Mariusz Lester
EasyChair Preprint no. 8679

Keyphrases

automatic reformulation, software verification, XCSP3.

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