Modeling combinatorial disjunctive constraints via junction trees

B Lyu, IV Hicks, J Huchette - Mathematical Programming, 2024 - Springer
We introduce techniques to build small ideal mixed-integer programming (MIP) formulations
of combinatorial disjunctive constraints (CDCs) via the independent branching scheme. We …

Transforming Quantified Boolean Formulas Using Biclique Covers

O Kullmann, A Shukla - International Conference on Tools and Algorithms …, 2023 - Springer
We introduce the global conflict graph of DQCNFs (dependency quantified conjunctive
normal forms), recording clashes between clauses on such universal variables on which all …

Modeling disjunctive constraints via junction trees

B Lyu - 2022 - search.proquest.com
In this thesis, we study the independent-branching (IB) framework of disjunctive constraints
and identify a class of pairwise IB-representable disjunctive constraints: disjunctive …

[PDF][PDF] Compact Mixed Integer Programming Formulations for the Minimum Biclique Cover Problem

B Burin, H Validi, B Lyu, IV Hicks - 2024 - optimization-online.org
Given a simple graph G=(V, E) with vertex set V and edge set E, the minimum biclique cover
problem seeks to cover all edges of the graph with a minimum number of bicliques (ie …

[PDF][PDF] Biclique Partitions, Biclique Covers, and Disjunctive Constraints

B Lyu - 2023 - repository.rice.edu
Doctor of Philosophy Page 1 RICE UNIVERSITY By A THESIS SUBMITTED IN PARTIAL
FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE APPROVED, THESIS …

The Classification of Death-Related Experiences: A Novel Approach to the Spectrum of Near-Death, Coincidental-Death, and Empathetic-Death Events

AM von dem Hagen - 2021 - search.proquest.com
Abstract In 1866, Edmund Gurney, Frederic Myers and Frank Podmore published
Phantasms of the Living, which included descriptions of “crisis apparitions” where someone …