An Extensible SAT-solver von Sörensson, Niklas, Een, Niklas

Volltext

Applying Logic Synthesis for Speeding Up SAT von Een, Niklas, Mishchenko, Alan, Sörensson, Niklas

Volltext

Minimizing Learned Clauses von Sörensson, Niklas, Biere, Armin

Volltext

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control von Claessen, Koen, Een, Niklas, Sheeran, Mary, Sörensson, Niklas, Voronov, Alexey, Åkesson, Knut

Volltext

Temporal Induction by Incremental SAT Solving von Een, Niklas, Sörensson, Niklas

Volltext

A liveness checking algorithm that counts von Claessen, K., Sorensson, N.

Volltext bestellen

Translating Pseudo-Boolean Constraints into SAT von Eén, Niklas, Sörensson, Niklas

Volltext

Translating Pseudo-Boolean Constraints into SAT von Een, Niklas, Sörensson, Niklas

Volltext

SAT-solving in practice von Claessen, K., Een, N., Sheeran, M., Sorensson, N.

Volltext bestellen

Fair Constraint Merging Tableaux in Lazy Functional Programming Style von Hähnle, Reiner, Sörensson, Niklas

Volltext

Clinical Outcomes and Predictors of Long-Term Survival in Patients With and Without Previously Known Extracardiac Sarcoidosis Using Machine Learning: A Swedish Multicenter Study von Bobbio, Emanuele, Eldhagen, Per, Polte, Christian L, Hjalmarsson, Clara, Karason, Kristjan, Rawshani, Araz, Darlington, Pernilla, Kullberg, Susanna, Sörensson, Peder, Bergh, Niklas, Bollano, Entela

Volltext

Phenotypic and HLA-DRB1 allele characterization of Swedish cardiac sarcoidosis patients von Eldhagen, Per, Bobbio, Emanuele, Darlington, Pernilla, Grunewald, Johan, Eklund, Anders, Polte, Christian L., Bergh, Niklas, Bollano, Entela, Sörensson, Peder, Kullberg, Susanna

Volltext

Abstract 11874: Clinical Outcomes and Predictors of Long-Term Survival in Patients With and Without Extra-Cardiac Sarcoidosis Using Machine Learning: A Swedish Multicenter Study von Bobbio, Emanuele, Eldhagen, Per, Polte, Christian L, Hjalmarsson, Clara, Kullberg, Susanna, Sorensson, Peder, Bergh, Niklas, Bollano, Entela

Volltext

Marshallian sources of growth and interdependent location of Swedish firms and households von Sörensson, Robert

Volltext bestellen

Umeå economic studies von Sörensson Robert 1969- , Umeå universitet, Institutionen för nationalekonomi

Volltext bestellen