9532 search results - page 39 / 1907 » Logic, Graphs, and Algorithms |
124
click to vote
DM
2007
15 years 3 months ago
2007
In this note, a constructive proof is given that the classes of proper interval graphs and unit interval graphs coincide, a result originally established by Fred S. Roberts. Addit...
125
click to vote
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
116
click to vote
DAM
2006
15 years 3 months ago
2006
In a previous work, we proposed a new integer programming formulation for the graph coloring problem which, to a certain extent, avoids symmetry. We studied the facet structure of...
127
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...