A SAT Solver's Opinion on the Erdős–Faber–Lovász Conjecture

Markus Kirchweger and Tomáš Peitl and Stefan Szeider

misc2023

Citation key: KirchwegerPeitlSzeider2023EFL
Year: 2023
Cited by: 1 catalog records
Direct source: Available

Reference note

Why this source is in the ledger

Markus Kirchweger, Tomáš Peitl, and Stefan Szeider, “A SAT Solver's Opinion on the Erdős–Faber–Lovász Conjecture,” LIPIcs SAT 2023 271 (2023), 13:1–13:17, DOI: 10.4230/LIPIcs.SAT.2023.13, https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.13.

Catalog connections

Conjectures citing this source

GRAPH-023Erdős–Faber–Lovász ConjectureGraph theory

Source record

Bibliographic fields

Inspect the parsed BibTeX fields

author: Markus Kirchweger and Tomáš Peitl and Stefan Szeider
doi: 10.4230/LIPIcs.SAT.2023.13
note: Markus Kirchweger, Tomáš Peitl, and Stefan Szeider, “A SAT Solver's Opinion on the Erdős--Faber--Lovász Conjecture,” LIPIcs SAT 2023 271 (2023), 13:1--13:17, DOI: 10.4230/LIPIcs.SAT.2023.13, https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.13.
title: A SAT Solver's Opinion on the Erdős--Faber--Lovász Conjecture
url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.13
year: 2023