Keyword:constraint solving

Publications
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 162
Minimizing Sorting Networks at the Sub-Comparator Level Luís Cruz-Filipe and Peter Schneider-Kamp In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
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