HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Dragomir Ž Djoković

Publications
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices
Curtis Bright, Dragomir Ž Djoković, Ilias Kotsireas and Vijay Ganesh
EasyChair Preprint 825

Keyphrases

Artificial Intelligence, combinatorial design theory, combinatorial search, SAT+CAS, satisfiability checking, symbolic computation.

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