Volume 40,
Number 1-2,
January 2004
Volume 40,
Numbers 3-4,
March 2004
- Sergio A. Alvarez:
A Theory of Frame Transformations for Belief Combination.
187-214
- Adam Cannon, Lenore Cowen:
Approximation Algorithms for the Class Cover Problem.
215-224
- Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt:
Locally Determined Logic Programs and Recursive Stable Models.
225-262
- Henning Fernau:
Identifying Terminal Distinguishable Languages.
263-282
- Martin Henz, Roland H. C. Yap, Lim Yun Fong, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping:
Solving Hierarchical Constraints over Finite Domains with Local Search.
283-302
- Oliver Kullmann:
Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems.
303-352
- Vasco M. Manquinho, João P. Marques Silva:
Satisfiability-Based Algorithms for Boolean Optimization.
353-372
- Fumiaki Okushi, Allen Van Gelder:
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination.
373-402
- Tzachi Rosen, Solomon Eyal Shimony, Eugene Santos Jr.:
Reasoning with BKBs - Algorithms and Complexity.
403-425
Last update Thu Feb 16 06:57:51 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page