João Filipe

1 paper in the IJCAI proceedings

IJCAI 2026

Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts

with Álvaro Torralba, Gregor Behnke

doi:10.24963/ijcai.2026/249

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings