constraint solving

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples AAAI 2019 Constraint Solving and Optimization Using Evolutionary Techniques IJCAI 2019 Remote Management of Boundary Protection Devices with Information Restrictions AAAI 2019 Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search AAAI 2019 Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories IJCAI 2019 Core-Guided Minimal Correction Set and Core Enumeration IJCAI 2018 Interactive Robot Transition Repair With SMT IJCAI 2018 Reduced Cost Fixing for Maximum Satisfiability IJCAI 2018 Synthesizing Pattern Programs from Examples IJCAI 2018 Efficient and Complete FD-solving for extended array constraints IJCAI 2017 Learning-Based Abstractions for Nonlinear Constraint Solving IJCAI 2017 Personnel Scheduling as Satisfiability Modulo Theories IJCAI 2017 The DNA Word Design Problem: A New Constraint Model and New Results IJCAI 2017 Incremental Task and Motion Planning: A Constraint-Based Approach RSS 2016