Search results for: Magnus Wahlström
Discrete Mathematics > 2017 > 340 > 4 > 817-821
Discrete Mathematics > 2017 > 340 > 2 > 1-8
Journal of Computer and System Sciences > 2017 > 83 > 1 > 121-131
Discrete Applied Mathematics > 2017 > 217 > P2 > 196-202
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 10-Track A2. Streaming & Preprocessing > 653-665
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Structures for SAT > 80-85
Lecture Notes in Computer Science > Computer Science - Theory and Applications > Accepted Papers > 346-355
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 309-323
Information Processing Letters > 2016 > 116 > 3 > 223-226
Algorithmica > 2016 > 75 > 2 > 383-402