Ausgabe 4/2014
Special Issue: Application of Constraints to Formal Verification and Artificial Intelligence
Inhalt (4 Artikel)
Application of constraints to formal verification and artificial intelligence
Miroslav N. Velev, John Franco
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
Alex Groce, Klaus Havelund, Gerard Holzmann, Rajeev Joshi, Ru-Gang Xu
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search
Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal