Keyword:constraint solving

Papers
Decision levels are stable: towards better SAT heuristics Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras and Enric Rodríguez-Carbonell In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Parse Condition: Symbolic Encoding of LL(1) Parsing Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala and Subhajit Roy In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving (Extended Abstract) Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller and Udo Brockmeyer EasyChair Preprint no. 162
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain Yang Gao and Martin Fränzle In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015