Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Karl-Heinz Pennemann
Satisfiability of High-Level Conditions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
High Level Ethanol Production by Nitrogen and Osmoprotectant Supplementation Under Very High Gravity Fermentation Conditions
Energies
Control
Electronic Engineering
Energy Engineering
Renewable Energy
Energy
Fuel Technology
Sustainability
Optimization
Electrical
Power Technology
the Environment
Capturing High-Level Conditions, Using a Publish/Subscribe Middleware, in Sensor Systems
Elite Transgenic Lines of Basmati-370 Revealed High Level of Lodging Resistance Under Field Conditions
Pure and Applied Biology
Proving Finite Satisfiability of Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Satisfiability of Inequalities in a Poset
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
On an Unsatisfiability-Satisfiability Prover
Publications of the Research Institute for Mathematical Sciences
Mathematics
New Algorithms for Exact Satisfiability
BRICS Report Series
Boolean Satisfiability in Quantum Compilation
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Smten With Satisfiability-Based Search
