Sort by
Refine Your Search
-
theories (SMT) and their optimisation extensions (MaxSAT and MaxSMT) as well as constraint programming and optimisation (CP) and mixed-integer linear programming (MILP) can be seen as success stories in
-
Aim/outline Graphs or networks are effective tools to representing a variety of data in different domains. In the biological domain, chemical compounds can be represented as networks, with atoms as
Searches related to information theory
Enter an email to receive alerts for information-theory positions