bibliographer - Igor L. Markov

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms Paolo Codenotti Hadi Katebi Karem A. Sakallah Igor L. Markov [github]

Exploiting structure in symmetry detection for CNF Paul T. Darga Mark H. Liffiton Karem A. Sakallah Igor L. Markov [github]

Library Size: 13G (2 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]