Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by T. Schaub
Robust Benchmark Set Selection for Boolean Constraint Solvers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Robust FETI Solvers for Multiscale Elliptic PDEs
Mathematics in Industry
The Evolution of Dominance Constraint Solvers
Implementing Constraint Solvers in B-Prolog
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Combining Symbolic Constraint Solvers on Algebraic Domains
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
The Spherical Constraint in Boolean Quadratic Programs
Journal of Global Optimization
Control
Optimization
Applied Mathematics
Management Science
Computer Science Applications
Operations Research
Representing and Solving Rule-Based Decision Models With Constraint Solvers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fast and Robust Solvers for Pressure-Correction in Bubbly Flow Problems
Journal of Computational Physics
Numerical Analysis
Applied Mathematics
Simulation
Computer Science Applications
Modeling
Computational Mathematics
Astronomy
Physics
Docking Benchmark Set of Protein Models
Biophysical Journal
Biophysics
Constraint Selection for Semi-Supervised Topological Clustering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
