Variable and Value Ordering When Solving Balanced Academic Curriculum Problems
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
Verification of Timed Automata Using Rewrite Rules and Strategies
Canada
World
United States