URL details: jodevriendt.com/publications/
URL title:
Publications
URL description:
2021 FOLASP: FO(.) as Input Language for Answer Set Solvers Kylian Van Dessel, Jo Devriendt, Joost Vennekens 37th International Conference on Logic Programming (ICLP) Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning Jo Devriendt, Stephan Gocht, Emir Demirović, Jakob Nordström, Peter Stuckey 35th AAAI conference on Artificial Intelligence (AAAI)…
URL last crawled:
2022-06-26
URL speed:
0.193 MB/s,
downloaded in 0.300 seconds
We found no external links pointing to this url.