Krzysztof Czarnecki

From MaRDI portal
Person:1680250

Available identifiers

zbMath Open czarnecki.krzysztofWikidataQ102394791 ScholiaQ102394791MaRDI QIDQ1680250

List of research outcomes





PublicationDate of PublicationType
A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization2020-08-05Paper
An empirical study of branching heuristics through the lens of global learning rate2017-11-15Paper
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures2017-06-29Paper
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures2016-11-09Paper
Learning rate based branching heuristic for SAT solvers2016-09-05Paper
MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers2015-12-02Paper
\textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers2015-11-20Paper
https://portal.mardi4nfdi.de/entity/Q30458752004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47388662004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47384592004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44457642004-02-02Paper
https://portal.mardi4nfdi.de/entity/Q44403302003-12-16Paper
https://portal.mardi4nfdi.de/entity/Q44176142003-07-29Paper
Synthesizing objects2003-02-04Paper

Research outcomes over time

This page was built for person: Krzysztof Czarnecki

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