Backtracking

Results: 159



#Item
21

1 Restricting Backtracking in Connection Calculi Jens Otten Institut f¨ur Informatik, University of Potsdam

Add to Reading List

Source URL: www.jens-otten.de

Language: English - Date: 2012-03-30 11:05:42
    22

    Briefing Memo   Leaks at Trans-Pacific Trade Talks Confirm Obama Administration Backtracking from Bush Era Access to Medicines Commitments

    Add to Reading List

    Source URL: www.citizenstrade.org

    Language: English - Date: 2011-10-22 14:14:39
      23

      More About Converting BNF to PEG∗ Roman R. Redziejowski Abstract Parsing Expression Grammar (PEG) encodes a recursive-descent parser with limited backtracking. The parser has many useful properties. Converting PEG to a

      Add to Reading List

      Source URL: www.romanredz.se

      Language: English - Date: 2015-07-01 16:39:08
        24Search algorithms / Applied mathematics / Recreational mathematics / Puzzle video games / Dancing Links / Backtracking / Exact cover / Puzzle / Sudoku algorithms / Mathematics / Sudoku / NP-complete problems

        Sage Reference Manual: Games Release 6.7 The Sage Development Team June 24, 2015

        Add to Reading List

        Source URL: doc.sagemath.org

        Language: English - Date: 2015-06-24 05:21:38
        25

        Chapter Overview From L1 to L2: SLD-derivations From L2 to Prolog: Backtracking The cut in Prolog

        Add to Reading List

        Source URL: www.cs.bath.ac.uk

        - Date: 2012-04-02 08:22:44
          26

          Sage: Open Source Mathematical Software: Symbolic Computation, Combinatorial Species, Backtracking Algorithms, and Distributed Computation William Stein, Gary Furnish, Mike Hansen, Robert Miller, and Yi Qiang March 21, 2

          Add to Reading List

          Source URL: wstein.org

          Language: English - Date: 2008-04-08 08:25:32
            27

            Monad Transformers for Backtracking Search Jules Hedges Queen Mary University of London This paper extends Escard´o and Oliva’s selection monad to the selection monad transformer, a general monadic

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2014-04-10 20:31:04
              28Constraint programming / Artificial intelligence / Backtracking / Operations research / Pattern matching

              Problem Program Search Improvements Chapter 11: Limits of Propagation (Costas

              Add to Reading List

              Source URL: 4c.ucc.ie

              Language: English - Date: 2009-06-21 13:46:51
              29Pattern matching / Formal languages / SNOBOL / Regular expressions / Operations research / SPITBOL compiler / Heuristic / Icon / Backtracking / Computing / Software engineering / Computer programming

              The Control of Searching and Backtracking in String Pattern Matching* Ralph E. Griswold TR 82-20

              Add to Reading List

              Source URL: www.cs.arizona.edu

              Language: English - Date: 2014-02-09 10:26:58
              30Computer programming / Prolog / Warren Abstract Machine / Unification / Backtracking / Answer set programming / B-Prolog / Logic programming / Software engineering / Computing

              Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover

              Add to Reading List

              Source URL: www.cs.bath.ac.uk

              Language: English - Date: 2012-01-04 14:04:47
              UPDATE