Journals in DBLP

Discrete Applied Mathematics
1999, volume: 96, number:

1. Roberto Battiti, Marco Protasi
   Reactive Local Search Techniques for the Maximum k-conjunctive Constraint Satisfaction Problem (MAX-k-CCSP). [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:3-27 [Journal]
   
2. Endre Boros
   Maximum Renamable Horn sub-CNFs. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:29-40 [Journal]
   
3. Nadia Creignou, Hervé Daudé
   Satisfiability Threshold for Random XOR-CNF Formulas. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:41-53 [Journal]
   
4. Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
   Bidual Horn Functions and Extensions. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:55-88 [Journal]
   
5. John V. Franco, Judy Goldsmith, John S. Schlipf, Ewald Speckenmeyer, Ramjee P. Swaminathan
   An Algorithm for the Class of Pure Implicational Formulas. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:89-106 [Journal]
   
6. Andreas Goerdt
   A Remark on Random 2-SAT. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:107-110 [Journal]
   
7. Jun Gu
   The Multi-SAT Algorithm. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:111-126 [Journal]
   
8. Peter Heusch
   The Complexity of the Falsifiability Problem for Pure Implicational Formulas. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:127-138 [Journal]
   
9. Hans Kleine Büning, Theodor Lettmann
   Resolution Remains Hard Under Equivalence. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:139-148 [Journal]
   
10. Oliver Kullmann
    On a Generalization of Extended Resolution. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:149-176 [Journal]
    
11. Alasdair Urquhart
    The Symmetry Rule in Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:177-193 [Journal]
    
12. Allen Van Gelder
    Complexity Analysis of Propositional Resolution with Autarky Pruning. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:195-221 [Journal]
    
13. Hans van Maaren
    Elliptic Approximations of Propositional Formulae. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:223-244 [Journal]
    
14. Martin Anthony
    Accuracy of Techniques for the Logical Analysis of Data. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:247-257 [Journal]
    
15. Claude Benzaken
    From Logical Gates Synthesis to Chromatic Bicritical Clutters. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:259-305 [Journal]
    
16. Jan C. Bioch, Toshihide Ibaraki, Kazuhisa Makino
    Minimum Self-dual Decompositions of Positive Dual-minor Boolean Functions. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:307-326 [Journal]
    
17. Steve Y. Chiu, Louis Anthony Cox Jr., Xiaorong Sun
    Optimal Sequential Inspections of Reliability Systems Subject to Parallel-chain Precedence Constraints. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:327-336 [Journal]
    
18. Oya Ekin, Peter L. Hammer, Alexander Kogan
    On Connected Boolean Functions. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:337-362 [Journal]
    
19. Vladimir Gurvich, Leonid Khachiyan
    On Generating the Irredundant Conjunctive and Disjunctive Normal Forms of Monotone Boolean Functions. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:363-373 [Journal]
    
20. Pierre Hansen, Brigitte Jaumard, Guy-Blaise Douanya Nguetsé
    Best Second Order Bounds for Two-terminal Network Reliability with Dependent Edge Failures. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:375-393 [Journal]
    
21. John N. Hooker, María Auxilio Osorio Lama
    Mixed Logical-linear Programming. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:395-442 [Journal]
    
22. Kazuhisa Makino, Toshihide Ibaraki
    Inner-core and Outer-core Functions of Partially Defined Boolean Functions. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:443-460 [Journal]
    
23. Henry Wolkowicz, Qing Zhao
    Semidefinite Programming Relaxations for the Graph Partitioning Problem. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:96, n:, pp:461-479 [Journal]