Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stephan Barth
Learn With SAT to Minimize Büchi Automata
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Effect of Early Feed Restriction on Myofibre Types and Expression of Growth-Related Genes in the Gastrocnemius Muscle of Crossbred Broiler Chickens
British Journal of Nutrition
Medicine
Nutrition
Dietetics
Related publications
Coinductive Algorithms for Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Complementing Nondeterministic Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tighter Bounds for the Determinisation of Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata
International Journal on Software Tools for Technology Transfer
Information Systems
Software
A Verified SAT Solver Framework With Learn, Forget, Restart, and Incrementality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient On-The-Fly Emptiness Check for Timed Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
SIAM Journal on Computing
Mathematics
Computer Science
From Parallel SAT to Distributed SAT
A SAT Approach to Branchwidth
