No. Title Author Year
1 Proof Logging for Smart Extensional Constraints McIlree, Matthew J. et al. 2023
2 An Auditable Constraint Programming Solver Gocht, Stephan et al. 2022
3 Complications for Computational Experiments from Modern Processors Fichte, Johannes K. et al. 2021
4 Practical Bigraphs via Subgraph Isomorphism Archibald, Blair et al. 2021
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI