Skip to content
Channels - Composition with Target Constraints :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Composition with Target Constraints
Search for more channels:
Similar Items: Composition with Target Constraints
Channel Options
View Record
Explore related channels
Quick Look
The complexity of global cardinality constraints
Quick Look
Global Numerical Constraints on Trees
Quick Look
Quantified Constraints and Containment Problems
Quick Look
Data optimizations for constraint automata
Quick Look
Monotonicity Constraints for Termination in the Integer Domain
Quick Look
Visibly Tree Automata with Memory and Constraints
Quick Look
Logical compactness and constraint satisfaction problems
Quick Look
Contextual Bandits with Stage-wise Constraints
Quick Look
Automatic Modular Abstractions for Template Numerical Constraints
Quick Look
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
Quick Look
Essential Convexity and Complexity of Semi-Algebraic Constraints
Quick Look
A finer reduction of constraint problems to digraphs
Quick Look
Reasoning with Finite Sets and Cardinality Constraints in SMT
Quick Look
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
Quick Look
Universal Algebraic Methods for Constraint Satisfaction Problems
Quick Look
Dynamic angular synchronization under smoothness constraints
Quick Look
Constraint solving in non-permutative nominal abstract syntax
Quick Look
A Characterisation of First-Order Constraint Satisfaction Problems
Quick Look
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Quick Look
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
Quick Look
Learning and Designing Stochastic Processes from Logical Constraints
Quick Look
Integrity Constraints Revisited: From Exact to Approximate Implication
Quick Look
ConstraintHg: A Kernel for Systems Modeling and Simulation
Quick Look
Solving finite-domain linear constraints in presence of the $texttt{alldifferent}$
Load more items
View Record
Prev
Explore related channels
Next