Micha{\l} {\L}uszczyk

Identifiers

• name variant Micha{\l} {\L}uszczyk 0.60 · backfill

Papers (1)

1. Neural heuristics for SAT solving cs.AI · 2020 · author #2

Mentions

• 2005.13406 #2 · arxiv_oai · confidence 0.70 Micha{\l} {\L}uszczyk

Frequent Coauthors

• Henryk Michalewski 1 shared papers
• Sebastian Jaszczur 1 shared papers