When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way

2012 ◽  
pp. 410-426 ◽  
Author(s):  
Cheng-Shen Han ◽  
Jie-Hong Roland Jiang
Keyword(s):  
Gaussian Elimination ◽  
Boolean Satisfiability

Parallel Gaussian Elimination with Linear Work and Fill,

1997 ◽  
Author(s):  
Claudson Bornstein ◽  
Bruce Maggs ◽  
Gary Miller ◽  
R. Ravi
Keyword(s):  
Gaussian Elimination

Sparsity structure and Gaussian elimination

1988 ◽  
Vol 23 (2) ◽  
pp. 2-8 ◽  
Author(s):  
I. S. Duff ◽  
A. M. Erisman ◽  
C. W. Gear ◽  
J. K. Reid
Keyword(s):  
Gaussian Elimination ◽  
Sparsity Structure

scholarly journals Homing Sequence Derivation with Quantified Boolean Satisfiability

2021 ◽  
pp. 1-1
Author(s):  
Kuan-Hua Tu ◽  
Hung-En Wang ◽  
Jie-Hong Roland Jiang ◽  
Natalia Kushik ◽  
Nina Yevtushenko
Keyword(s):  
Boolean Satisfiability
Sign in / Sign up

Export Citation Format

Share Document