Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrea Schaerf
Compiling Problem Specifications Into SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Writing and Compiling Code Into Biochemistry
Solving the SAT Problem Using Genetic Algorithm
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications
Science of Computer Programming
Software
Compiling Real-Time Scenarios Into a Timed Automaton
The Solution to the Problem of Compiling a Production Schedule
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Exploiting Functional Dependencies in Declarative Problem Specifications
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
The Three-State Perfect Phylogeny Problem Reduces to 2-Sat
Communications in Information and Systems
Automatic Translation of Architecture Constraint Specifications Into Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
