450 search results - page 1 / 90 » Satisfiability with Exponential Families |
SAT
2007
Springer
13 years 11 months ago
2007
Springer
JSAT
2006
13 years 5 months ago
2006
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
IJUFKS
2010
13 years 3 months ago
2010
In this paper we introduce a new family of poverty measures for comparing and ordering social situations. The aggregation scheme of these poverty measures is based on the oneparam...
SIAMDM
2010
13 years 3 months ago
2010
K¨orner and Malvenuto asked whether one can find n n/2 linear orderings (i.e., permutations) of the first n natural numbers such that any pair of them places two consecutive int...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer