LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

• Robert Nieuwenhuis, UPC Barcelona and Barcelogic
• Alexandra Silva, University College London
• Mooly Sagiv, Tel Aviv University and Certora

Disclaimer | Powered by EasyChair Smart Program