Jo Devriendt

From MaRDI portal
Person:1680244

Available identifiers

zbMath Open devriendt.joMaRDI QIDQ1680244

List of research outcomes





PublicationDate of PublicationType
FOLASP: FO(·) as Input Language for Answer Set Solvers2023-12-12Paper
Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search2022-02-10Paper
Declarative local search for predicate logic2019-10-10Paper
Symmetric explanation learning: effective dynamic symmetry handling for SAT2017-11-15Paper
On local domain symmetry for model expansion2017-11-09Paper
Improved Static Symmetry Breaking for SAT2016-09-05Paper

Research outcomes over time

This page was built for person: Jo Devriendt

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1680244&oldid=6429208"
Powered by MediaWiki