Jan Elffers

From MaRDI portal
Person:1656561

Available identifiers

zbMath Open elffers.janMaRDI QIDQ1656561

List of research outcomes





PublicationDate of PublicationType
Simplified and improved separations between regular and general resolution by lifting2021-04-07Paper
Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers2018-08-10Paper
In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving2018-08-10Paper
Trade-offs between time and memory in a tighter model of CDCL SAT solvers2016-09-05Paper

Research outcomes over time

This page was built for person: Jan Elffers

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