Sciweavers

14158 search results - page 200 / 2832
» Generalized switch-setting problems
Sort
View
114
Voted
FCT
2001
Springer
15 years 8 months ago
Divisibility Monoids: Presentation, Word Problem, and Rational Languages
Abstract. We present three results on divisibility monoids. These divisibility monoids were introduced in [11] as an algebraic generalization of Mazurkiewicz trace monoids. (1) We ...
Dietrich Kuske
122
Voted
AGP
1999
IEEE
15 years 7 months ago
The Relative Complement Problem for Higher-Order Patterns
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
Alberto Momigliano, Frank Pfenning
CSR
2010
Springer
15 years 8 months ago
Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems
Abstract. In this survey we compare the similarities, differences and the complexities of two very different approaches to solve a general constraint satisfaction probblems (CSP). ...
Uwe Schöning
123
Voted
DIAGRAMS
2008
Springer
15 years 5 months ago
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
Sergio Gutiérrez Santos, Darren Pearce, Eir...
ACTA
2000
104views more  ACTA 2000»
15 years 3 months ago
Some results on the Collatz problem
The paper refers to the Collatz's conjecture. In the first part, we present some equivalent forms of this conjecture and a slight generalization of a former result from [1]. T...
Stefan Andrei, Manfred Kudlek, Radu Stefan Nicules...