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