FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
On the Effectiveness of Logic in Algorithmic Graph Theory

Author: Martin Charles Golumbic

Paper Information

Title:On the Effectiveness of Logic in Algorithmic Graph Theory
Authors:Martin Charles Golumbic
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:logic, algorithmic graph theory, combinatorial structures, constraint satisfaction problems, temporal reasoning
Pages:1
Talk:Jul 31 16:45 (Session 20)
Paper: