conftrace_

constraint solver

8 papers

Explore in graph

Co-occurring keywords

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

Papers

Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance AAAI 2026
Using Certifying Constraint Solvers for Generating Step-wise Explanations 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
Remote Management of Boundary Protection Devices with Information Restrictions AAAI 2019
Optimizing Constraint Solving via Dynamic Programming IJCAI 2019
Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017