Obserwuj
Michael Soltys
Tytuł
Cytowane przez
Cytowane przez
Rok
The proof complexity of linear algebra
M Soltys, S Cook
Annals of Pure and Applied Logic 130 (1-3), 277-323, 2004
542004
Important Facts and Observations about Pairwise Comparisons (the special issue edition)
WW Koczkodaj, L Mikhailov, G Redlarski, M Soltys, J Szybowski, ...
Fundamenta Informaticae 144 (3-4), 291-307, 2016
452016
On normalization of inconsistency indicators in pairwise comparisons
WW Koczkodaj, JP Magnot, J Mazurek, JF Peters, H Rakhshani, M Soltys, ...
International Journal of Approximate Reasoning 86, 73-79, 2017
402017
Unshuffling a square is NP-hard
S Buss, M Soltys
Journal of Computer and System Sciences 80 (4), 766-776, 2014
342014
Boolean programs and quantified propositional proof systems
S Cook, M Soltys
Bulletin of the Section of Logic 28 (3), 119-129, 1999
341999
The complexity of derivations of matrix identities
M Soltys-Kulinicz
University of Toronto, 2001
272001
When is the condition of order preservation met?
K Kułakowski, J Mazurek, J Ramík, M Soltys
European Journal of Operational Research 277 (1), 248-254, 2019
172019
On the complexity of computing winning strategies for finite poset games
M Soltys, C Wilson
Theory of Computing Systems 48 (3), 680-692, 2011
172011
Introduction To The Analysis Of Algorithms, An
M Soltys-kulinicz
World Scientific, 2018
162018
Berkowitz's algorithm and clow sequences
M Soltys
arXiv preprint math/0201315, 2002
132002
SEAKER: A mobile digital forensics triage device
E Gentry, M Soltys
Procedia computer science 159, 1652-1661, 2019
112019
Constructing an indeterminate string from its associated graph
J Helling, PJ Ryan, WF Smyth, M Soltys
Theoretical Computer Science 710, 88-96, 2018
112018
Cybersecurity in the AWS Cloud
M Soltys
arXiv preprint arXiv:2003.12905, 2020
82020
An introduction to computational complexity
M Soltys
Wydawnictwo Uniwersytetu JagielloĹ „skiego, 2009
82009
Feasible proofs of matrix properties with Csanky’s algorithm
M Soltys
International Workshop on Computer Science Logic, 493-508, 2005
82005
SEAKER: A tool for fast digital forensic triage
E Gentry, R McIntyre, M Soltys, F Lyu
Future of Information and Communication Conference, 1227-1243, 2019
72019
Fair ranking in competitive bidding procurement: A case analysis
M Soltys
Procedia Computer Science 35, 1138-1144, 2014
72014
Weak theories of linear algebra
N Thapen, M Soltys
Archive for Mathematical Logic 44 (2), 195-208, 2005
72005
Matrix identities and the pigeonhole principle
M Soltys, A Urquhart
Archive for Mathematical Logic 43 (3), 351-357, 2004
72004
Extended frege and Gaussian elimination
M Soltys
Bulletin of the Section of Logic 31 (4), 1-17, 2002
72002
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20