Journal: Theory Comput. Syst.

Volume 39, Issue 4

485 -- 501Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli. Exploiting Regularities for Boolean Function Synthesis
503 -- 524Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana. Superposition Based on Watson-Crick-Like Complementarity
525 -- 544Stefan Droste, Thomas Jansen, Ingo Wegener. Upper and Lower Bounds for Randomized Search Heuristics in Black-Box Optimization
545 -- 560Jens Gramm, Jiong Guo, Rolf Niedermeier. Parameterized Intractability of Distinguishing Substring Selection
561 -- 590Andreas Brandstädt, Joost Engelfriet, Hoàng-Oanh Le, Vadim V. Lozin. Clique-Width for 4-Vertex Forbidden Subgraphs