Beyond Turing Machines
Bijective Faithful Translations among Default Logics
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems
Bin Packing Under Multiple Objectives - a Heuristic Approximation Approach
Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results
Biological Inspiration for Artificial Immune Systems
Biomimetic use of genetic algorithms
Bisimulations for fuzzy transition systems
Boolean Equi-propagation for Optimized SAT Encoding
Boolean network robotics: a proof of concept
BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae
Border Algorithms for Computing Hasse Diagrams of Arbitrary Lattices
Bound Propagation
Bounded Input Bounded Predefined Control Bounded Output
Brainstorm/J: a Java Framework for Intelligent Agents
Branch-and-Prune Search Strategies for Numerical Constraint Solving
Breaking Generator Symmetry
Breaking Instance-Independent Symmetries In Exact Graph Coloring
Breaking Value Symmetry
Breaking Value Symmetry