Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

A Survey on Handling Computationally Expensive Multiobjective Optimization Problems With Evolutionary Algorithms

Theoretical Computer Science

English

Subminimal Negation

Theoretical Computer Science

English

Duality, Area-Considerations, and the Kalai–Smorodinsky Solution

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

Protocol for Irreversible Off-Line Transactions in Anonymous Electronic Currency Exchange

Theoretical Computer Science

English

Adding Decision Procedures to SMT Solvers Using Axioms With Triggers

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Interactive Preferences in Multiobjective Ant Colony Optimisation for Assembly Line Balancing

Theoretical Computer Science

English

A Time Series Forecasting Based on Cloud Model Similarity Measurement

Theoretical Computer Science

English

Metaheuristic Optimization Frameworks: A Survey and Benchmarking

Theoretical Computer Science

English

Multi-Completion With Termination Tools

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English