Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Software
Some Types of Filters in BL Algebras
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Approximation Algorithms for the Multiprocessor Open Shop Scheduling Problem
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
On-Line Scheduling of Unit Time Jobs With Rejection: Minimizing the Total Completion Time
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
On Modern Clause-Learning Satisfiability Solvers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Soft Computing in Decision Modeling
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Characterizing Extreme Points as Basic Feasible Solutions in Infinite Linear Programs
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Approximability of Two-Machine No-Wait Flowshop Scheduling With Availability Constraints
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Accurate Calculation of Hazardous Materials Transport Risks
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
The Interactive Workspaces Project: Experiences With Ubiquitous Computing Rooms
IEEE Pervasive Computing
Computational Theory
Software
Computer Science Applications
Mathematics
‹
842
843
844
845
846
847
848
›
