Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in
  Prolog   A "pairing function" J associates a unique natural number z to any two
natural numbers x,y such that for two "unpairing functions" K and L, the
equalities K(J(x,y))=x, L(J(x,y))=y and J(K(z),L(z))=z hold. Using pairing
functions on natural number representations of truth tables, we derive an
encoding for Binary Decision Diagrams with the unique property that its boolean
evaluation faithfully mimics its structural conversion to a a natural number
through recursive application of a matching pairing function. We then use this
result to derive {\em ranking} and {\em unranking} functions for BDDs and
reduced BDDs. The paper is organized as a self-contained literate Prolog
program, available at http://logic.csci.unt.edu/tarau/research/2008/pBDD.zip
  Keywords: logic programming and computational mathematics, pairing/unpairing
functions, encodings of boolean functions, binary decision diagrams, natural
number representations of truth tables

34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph