Martin Sachenbacher

14 papers and 153 indexed citations i.

About

Martin Sachenbacher has authored 14 papers that have received a total of 153 indexed citations. This includes 8 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 4 papers in Computational Theory and Mathematics. The topics of these papers are AI-based Problem Solving and Planning (6 papers), Distributed Constraint Optimization Problems and Algorithms (5 papers) and Formal Methods in Verification (4 papers). Martin Sachenbacher is often cited by papers focused on AI-based Problem Solving and Planning (6 papers), Distributed Constraint Optimization Problems and Algorithms (5 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in Germany, United States and Ireland. Martin Sachenbacher's co-authors include Peter Struß, Martin Leucker, Thomas Rühr, Jinbo Huang and Barry O’Sullivan and has published in prestigious journals such as Artificial Intelligence, SAE technical papers on CD-ROM/SAE technical paper series and IEEE Transactions on Computers

In The Last Decade

Rankless by CCL
2025