Matthew Walter

According to our database, Matthew Walter authored at least 5 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving.

Muyu Pan, Matthew Walter, Dheeraj Kodakandla, Mahfuza Farooque

CoRR, December, 2025

2024

NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques.

Mahfuza Farooque, Matthew Walter, Aaron Falk

Proceedings of the International Symposium on Networks, Computers and Communications, 2024

2019

A Rapidly Assessed Wetland Stress Index (RAWSI) Using Landsat 8 and Sentinel-1 Radar Data.

Matthew Walter, Pinki Mondal

Remote. Sens., 2019

2017

Special issue on spatial reasoning and interaction for real-world robotics.

Verena Rieser, Matthew Walter, Dirk Wollherr

Adv. Robotics, 2017

A review of spatial reasoning and interaction for real-world robotics.

Christian Landsiedel, Verena Rieser, Matthew Walter, Dirk Wollherr

Adv. Robotics, 2017