Michael Soltys

Michael Soltys

California State University Channel Islands - Camarillo / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 855823
person_outline Michael Soltys's MOST POPULAR ARTICLES
1-) The proof complexity of linear algebra Annals of Pure and Applied Logic 130 (1-3), 277-323, 2004
2-) Important Facts and Observations about Pairwise Comparisons (the special issue edition) Fundamenta Informaticae 144 (3-4), 291-307, 2016
3-) On normalization of inconsistency indicators in pairwise comparisons International Journal of Approximate Reasoning 86, 73-79, 2017
4-) Unshuffling a square is NP-hard Journal of Computer and System Sciences 80 (4), 766-776, 2014
5-) Boolean programs and quantified propositional proof systems Bulletin of the Section of Logic 28 (3), 119-129, 1999