Krzysztof Czarnecki

Available identifiers

zbMath Open czarnecki.krzysztofWikidataQ102394791 ScholiaQ102394791MaRDI QIDQ1680250

List of research outcomes

Publication	Date of Publication	Type
A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization	2020-08-05	Paper
An empirical study of branching heuristics through the lens of global learning rate	2017-11-15	Paper
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures	2017-06-29	Paper
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures	2016-11-09	Paper
Learning Rate Based Branching Heuristic for SAT Solvers	2016-09-05	Paper
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers	2015-12-02	Paper
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers	2015-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q3045875	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738459	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738866	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4445764	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4440330	2003-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4417614	2003-07-29	Paper
Synthesizing objects	2003-02-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Krzysztof Czarnecki