Krzysztof Czarnecki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization Advances in Artificial Intelligence	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 Journal of Automated Reasoning	2017-06-29	Paper
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures Computer Algebra in Scientific Computing	2016-11-09	Paper
Learning rate based branching heuristic for SAT solvers Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers Automated Deduction - CADE-25	2015-12-02	Paper
\textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers Lecture Notes in Computer Science	2015-11-20	Paper
scientific article; zbMATH DE number 2088933 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2087860 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2087615 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2036327 (Why is no real title available?)	2004-02-02	Paper
scientific article; zbMATH DE number 2018587 (Why is no real title available?)	2003-12-16	Paper
scientific article; zbMATH DE number 1955914 (Why is no real title available?)	2003-07-29	Paper
Synthesizing objects	2003-02-04	Paper

Research outcomes over time

This page was built for person: Krzysztof Czarnecki