@article{Dyer-Goldberg-Jalsenius-Richerby/12,
AUTHOR = {Dyer, Martin and Goldberg, Leslie Ann and Jalsenius, Markus and Richerby, David},
TITLE = {The complexity of approximating bounded-degree Boolean \#CSP},
JOURNAL = {Inf.~Comput.},
VOLUME = {220-221},
PAGES = {1-14},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {counting constraint satisfaction problem, csp, approximation algorithm, complexity},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001290},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Bremer-Freydenberger/12,
AUTHOR = {Bremer, Joachim and Freydenberger, Dominik D.},
TITLE = {Inclusion problems for patterns with a bounded number of variables},
JOURNAL = {Inf.~Comput.},
VOLUME = {220-221},
PAGES = {15-43},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001423},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Droste-Meinecke/12,
AUTHOR = {Droste, Manfred and Meinecke, Ingmar},
TITLE = {Weighted automata and weighted MSO logics for average and long-time behaviors},
JOURNAL = {Inf.~Comput.},
VOLUME = {220-221},
PAGES = {44-59},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {weighted automata, weighted logic},
URL = {http://www.sciencedirect.com/science/article/pii/S089054011200140X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Case-Kotzing/12,
AUTHOR = {Case, John and K{\"o}tzing, Timo},
TITLE = {Learning secrets interactively. Dynamic modeling in inductive inference},
JOURNAL = {Inf.~Comput.},
VOLUME = {220-221},
PAGES = {60-73},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {inductive inference, interactive learning},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001411},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}