conftrace_

linear inequality

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

piecewise convex (1) serial chain (1) probabilistic satisfiability (1) power system optimization (1) kaczmarz method (1) boolean combination (1) geometric parameter (1) inverse kinematics (1) smt solving (1) phase transition (1)

Papers

T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin Method AAAI 2026 Classical Generalized Probabilistic Satisfiability IJCAI 2017 Inverse Kinematics for a Serial Chain with Joints Under Distance Constraints RSS 2006