Amanote Research
Register
Sign In
An Example of the Satisfiability Problem in the Continuous Structure
doi 10.15439/2017f255
Full Text
Open PDF
Abstract
Available in
full text
Date
September 24, 2017
Authors
Marek Balcer
Publisher
PTI
Related search
On Generic Np-Completeness of the Boolean Satisfiability Problem
Prikladnaya Diskretnaya Matematika
Signal Processing
Combinatorics
Applied Mathematics
Mathematics
Discrete Mathematics
Computational Theory
Theoretical Computer Science
An Asynchronous P System With Branch and Bound for Solving the Satisfiability Problem
International Journal of Networking and Computing
An Example of Optimization Problem in Transport
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic
Acta Informatica
Computer Networks
Software
Information Systems
Communications
A Genetic Algorithm With Expansion Operator for the 3-Satisfiability Problem
Advanced Studies in Theoretical Physics
Mathematical Physics
Physics
Astronomy
Mixed Parallel Execution of Algorithms for Satisfiability Problem
The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Natural Hydrogen Continuous Emission From Sedimentary Basins: The Example of a Brazilian H2-Emitting Structure
International Journal of Hydrogen Energy
Condensed Matter Physics
Energy Engineering
Renewable Energy
Fuel Technology
Sustainability
Power Technology
the Environment
Pattern Backtracking Algorithm for the Workflow Satisfiability Problem With User-Independent Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
