Using computational learning strategies as a tool for combinatorial optimization
Annals of Mathematics and Artificial Intelligence
Learning Intermediate Concepts
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
Learning from examples with unspecified attribute values
Information and Computation
On the influence of the variable ordering for algorithmic learning using OBDDs
Information and Computation
An efficient query learning algorithm for ordered binary decision diagrams
Information and Computation
Testing Computability by Width Two OBDDs
APPROX '09 / RANDOM '09 Proceedings of the 12th International Workshop and 13th International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
On the influence of the variable ordering for algorithmic learning using OBDDs
Information and Computation
An efficient query learning algorithm for ordered binary decision diagrams
Information and Computation
Comparing learning algorithms in automated assume-guarantee reasoning
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Lower bounds for testing computability by small width OBDDs
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Testing computability by width-two OBDDs
Theoretical Computer Science
Testing computability by width-2 OBDDs where the variable order is unknown
CIAC'10 Proceedings of the 7th international conference on Algorithms and Complexity
Exponential lower bounds on the space complexity of OBDD-Based graph algorithms
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Hi-index | 0.00 |