Searching for authors named Mats Carlsson – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
Boolean Constraints in SICStus Prolog
- …Boolean Constraints in SICStus Prolog Mats Carlsson Swedish Institute of Computer Science Box 1263…
- Cited by 9 (2 self) – Add To MetaCart
-
A Prolog Compiler and its Extension for Or-Parallelism
- …A Prolog Compiler and its Extension for Or-Parallelism Mats Carlsson Swedish Institute of Computer…
- Cited by 2 (1 self) – Add To MetaCart
-
The SICStus Emulator
- …The SICStus Emulator Mats Carlsson Swedish Institute of Computer Science Box 1263, S-164 28, KISTA…
- Cited by 3 (0 self) – Add To MetaCart
-
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog
- …B-- 1 On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog # Mats Carlsson…
- Cited by 8 (0 self) – Add To MetaCart
-
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques
- … Mats Carlsson, Mats Grindal Swedish Institute of Computer Science (SICS) PO Box 1263, S-164 28 KISTA…
- Cited by 10 (0 self) – Add To MetaCart
-
Dynamic Behavior Of The Solar Atmosphere
- …DYNAMIC BEHAVIOR OF THE SOLAR ATMOSPHERE ROBERT F. STEIN AND MATS CARLSSON Department of Physics…
- Add To MetaCart
-
A Comparison of CP, IP and Hybrids for Configuration Problems
- …A Comparison of CP, IP and Hybrids for Configuration Problems Mats Carlsson matsc@(email omitted); Greger…
- Add To MetaCart
-
Dispensation Order Generation for Pyrosequencing
- … bases. Mats Carlsson Nicolas Beldiceanu SICS, PO Box 1263, SE-164 29 KISTA, Sweden Email…
- Add To MetaCart
-
Revisiting the Lexicographic Ordering Constraint
- …Revisiting the Lexicographic Ordering Constraint Mats Carlsson and Nicolas Beldiceanu SICS…
- Cited by 9 (1 self) – Add To MetaCart
-
Cost-Filtering Algorithms for the two Sides of the Sum of Weights of . . .
- … Nicolas Beldiceanu*, Mats Carlsson*, and Sven Thiel + *SICS, Liigerhyddsviigen 18, SE-75237 Uppsala…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
