constraint solving

39 papers

Explore in graph

Also known as

SMT

Co-occurring keywords

constraint satisfaction (293) combinatorial optimization (1039) model-based diagnosis (18) automated reasoning (122) smt solver (18) smt solving (22) large language model (12755) satisfiability modulo theories (22) boolean satisfiability (32) syntactic parsing (385)

Papers

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

Learning-Based Abstractions for Nonlinear Constraint Solving IJCAI 2017

Personnel Scheduling as Satisfiability Modulo Theories IJCAI 2017

Efficient and Complete FD-solving for extended array constraints 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