conftrace_

constraint solver

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

constraint programming (2) search strategy (1) process calculus (1) model refactoring (1) search space pruning (1) programming language (1) search strategies (1) synchronous process (1) automated configuration (1) boundary protection (1)

Papers

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs OSDI 2026 Using Certifying Constraint Solvers for Generating Step-wise Explanations AAAI 2026 Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance AAAI 2026 Towards a Practical Tool for Music Composition: Using Constraint Programming to Model Chord Progressions and Modulations IJCAI 2025 A Variant of Concurrent Constraint Programming on GPU AAAI 2022 Teaching the Old Dog New Tricks: Supervised Learning with Constraints AAAI 2021 Optimizing Constraint Solving via Dynamic Programming IJCAI 2019 Remote Management of Boundary Protection Devices with Information Restrictions AAAI 2019 Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017