Direct Building of Minimal Automaton for a Given List (0)

by Stoyan Mihov , Sv. Kliment Ohridski , Fakultet Po , Matematika I Informatika , Kniga Matematika I Mehanika , Annuaire De , L'universite De Sofia , St. Kliment Ohridski
Citations:8 - 3 self

Documents Related by Co-Citation

42 Incremental Construction of Minimal Acyclic Finite State Automata and Transducers – Jan Daciuk, Bruce W. Watson, Richard E. Watson, Ul. G. Narutowicza - 1998
54 Minimisation of acyclic deterministic automata in linear time – D Revuz - 1992
45 Taxonomies and Toolkits of Regular Language Algorithms – Bruce W Watson - 1995
3843 Introduction to Automata Theory, Languages, and Computation (2nd Edition – R M J E Hopcroft, J Ullman - 2000
4 The effect of nogood recording in MAC-CBJ SAT algorithms – Inês Lynce, João Marques-silva - 2002
34 Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances – Roberto J. Bayardo, Robert Schrag - 1996
10 Dynamic Backtracking with Constraint Propagation Application to numeric CSPs – Narendra Jussien, Olivier Lhomme - 1997
22 Solving constraint satisfaction problems using finite state automata – N Vempaty - 1992
20 k-Relevant Explanations for Constraint Programming – Samir Ouis, Narendra Jussien, Patrice Boizumault
28 Conflict-Directed Backjumping Revisited – Xinguang Chen, Peter van Beek - 2001
17 Correctness of Constraint Retraction Algorithms – Romuald Debruyne, Gerard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier, Et Alexandre Tessier - 2002
35 MAC-CBJ: maintaining arc consistency with conflict-directed backjumping – Patrick Prosser - 1995
111 Nogood Recording for Static and Dynamic Constraint Satisfaction Problems – Thomas Schiex, Gérard Verfaillie - 1993
59 Radio Link Frequency Assignment – B. Cabon, S. De Givry, L. Lobjois, L. Lobjois Fcabon, T. Schiex - 1999
80 A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem – Roberto J. Bayardo, Daniel P. Miranker - 1996
292 Efficient Conflict Driven Learning in a Boolean Satisfiability Solver – Lintao Zhang, Conor F. Madigan, Matthew H. Moskewicz - 2001
42 Generalized nogoods in CSPs – G Katsirelos, F Bacchus - 2005
21 Unrestricted Nogood Recording in CSP search – George Katsirelos, Fahiem Bacchus - 2003
32 Propositional Satisfiability and Constraint Programming: a Comparative Survey – Lucas Bordeaux, Youssef Hamadi, Lintao Zhang - 2006