BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
backtracking
Google backtracking

Tag #backtracking

67 papers:

CIAACIAA-2016-WeidemanMBW #ambiguity #automaton #behaviour #nondeterminism #regular expression #using
Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA (NW, BvdM, MB, BWW), pp. 322–334.
AFLAFL-2014-BerglundDM #behaviour #regular expression
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching (MB, FD, BvdM), pp. 109–123.
CGOCGO-2014-Herczeg #compilation #library
Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.
TLCATLCA-2013-BerardiT #game studies #logic #semantics #subclass
Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.
ICLPICLP-J-2011-GuzmanCCH #independence #parallel
Parallel backtracking with answer memoing for independent and-parallelism (PCdG, AC, MC, MVH), pp. 555–574.
PPoPPPPoPP-2009-HiraishiYUY
Backtracking-based load balancing (TH, MY, SU, TY), pp. 55–64.
CSMRCSMR-2008-Storm #incremental #integration
Backtracking Incremental Continuous Integration (TvdS), pp. 233–242.
FLOPSFLOPS-2008-Kobayashi08a #continuation
A New Translation for Semi-classical Theories — Backtracking without CPS (SK), pp. 210–223.
CIAACIAA-2005-SudaH #algorithm #automaton #top-down
Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.
ICFPICFP-2005-KiselyovSFS #monad
Backtracking, interleaving, and terminating monad transformers: (OK, CcS, DPF, AS), pp. 192–203.
ITiCSEITiCSE-WGR-2004-RolfeP #bound #problem
An alternative problem for backtracking and bounding (TJR, PWP), pp. 83–84.
ICALPICALP-2004-DawarGK #fixpoint #game studies
Backtracking Games and Inflationary Fixed Points (AD, EG, SK), pp. 420–432.
ICFPICFP-2004-WandV #modelling
Relating models of backtracking (MW, DV), pp. 54–65.
SOSPSOSP-2003-KingC
Backtracking intrusions (STK, PMC), pp. 223–236.
HPDCHPDC-2002-MatthewsHJL #automation #debugging #source code
Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs (GM, RH, SJ, PFL), p. 150–?.
CAVCAV-2002-BarnerGG #locality #re-engineering #reduction
Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.
SATSAT-2002-AloulRMS1 #named
PBS: A backtrack-search psuedo-Boolean solver and optimizer (FAA, AR, IM, KS), p. 37.
SATSAT-2002-AloulSS
A tool for measuring progress of backtrack-search solvers (FAA, BS, KS), p. 28.
SATSAT-2002-LynceM #data type #performance #satisfiability
Efficient data structures for backtrack search SAT solvers (IL, JMS), p. 20.
SATSAT-2002-LynceM1 #algorithm #satisfiability #strict
Complete unrestricted backtracking algorithms for satisfiability (IL, JMS), p. 29.
RERE-2001-Kovitz #development #learning
Is Backtracking so Bad? The Role of Learning in Software Development (BK), p. 272.
ICSTSAT-2001-CoccoM #analysis #physics #random #satisfiability #statistics
Statistical physics analysis of the backtrack resolution of random 3-SAT instances (SC, RM), pp. 36–47.
ICFPICFP-2000-Hinze #monad
Deriving backtracking monad transformers (RH), pp. 186–197.
FASEFASE-1998-MargariaS #automation #design #synthesis
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (TMS, BS), pp. 188–204.
ICALPICALP-1996-HerleyPP #performance
Fast Deterministic Backtrack Search (KTH, AP, GP), pp. 598–609.
ICLPICLP-1995-Cicekli
Shallow Backtracking Points in an Intelligent Backtracking Schema (IC), p. 815.
ICLPILPS-1995-TarauDF #continuation #linear
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars (PT, VD, AF), p. 642.
HTHT-ECHT-1994-BieberW #hypermedia #multi
Backtracking in a Multiple-Window Hypertext Environment (MB, JW), pp. 158–166.
KRKR-1994-GinsbergM
GSAT and Dynamic Backtracking (MLG, DAM), pp. 226–237.
PLDIPLDI-1994-HentenryckR
Backtracking without Trailing in CLP(RLin) (PVH, VR), pp. 349–360.
ICLPICLP-1994-BurgLH #set
Finding Conflict Sets and Backtrack Points in CLP(R) (JB, SDL, CEH), pp. 323–338.
ICLPILPS-1994-TangPGC #logic programming #optimisation #parallel #performance
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems (DT, EP, GG, MC), pp. 683–684.
ICSEICSE-1993-TamaiI #analysis #design #development #process #requirements #scalability
Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking (TT, AI), pp. 167–176.
CSLCSL-1993-GoerdtK #on the #parallel
On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search (AG, UK), pp. 106–127.
ICLPICLP-1993-KossovskyS #logic programming
Function-Patterns and Fan-Backtracking for Logic Programming (NKK, IPS), p. 843.
KRKR-1992-XiongSS #scheduling
Intelligent Backtracking Techniques for Job Shop Scheduling (YX, NMS, KPS), pp. 14–23.
PPDPPLILP-1992-HansLW #evaluation #interactive #lazy evaluation #on the
On the Interaction of Lazy Evaluation and Backtracking (WH, RL, SW), pp. 355–369.
SASWSA-1992-QueinnecG #partial evaluation #pattern matching
Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack (CQ, PG), pp. 109–117.
SASWSA-1991-Billaud #axiom
Axiomatizations of Backtracking (MB), pp. 111–116.
ICLPICLP-1991-CodognetS
Extending the WAM for Intelligent Backtracking (PC, TS), pp. 127–141.
ICLPISLP-1991-BackerB
Intelligent Backtracking for CLP Languages: An Application to CLP(R) (BDB, HB), pp. 405–419.
ICLPNACLP-1989-Lin #parallel #performance #random
Expected Performance of the Randomized Parallel Backtracking Method (ZL), pp. 677–696.
OOPSLAOOPSLA-1988-LaLondeG #kernel #smalltalk
Building a Backtracking Facility in Smalltalk Without Kernel Support (WRL, MVG), pp. 105–122.
ICLPJICSCP-1988-CodognetCF88
Yet Another Intelligent Backtracking Method (CC, PC, GF), pp. 447–465.
ICLPJICSCP-1988-SomogyiRV88 #algorithm #execution
A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.
CSLCSL-1987-Speckenmeyer #complexity #on the #problem #satisfiability
On the Average Case Complexity of Backtracking for the Exact-Satisfiability Problem (ES), pp. 281–288.
ICLPSLP-1987-KumarL87 #prolog
An Intelligent Backtracking Scheme for Prolog (VK, YJL), pp. 406–414.
ICLPSLP-1987-WestphalRCS87
The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism (HW, PR, JCdK, JCS), pp. 436–448.
ICALPICALP-1986-MannilaU #problem #set
The Set Union Problem with Backtracking (HM, EU), pp. 236–243.
ESOPESOP-1986-CodognetCF #logic programming #source code
A Very Intelligent Backtracking Method for Logic Programs (CC, PC, GF), pp. 315–326.
ICLPICLP-1986-HermenegildoN86 #performance
Efficient Management of Backtracking in AND-Parallelism (MVH, RIN), pp. 40–54.
ICLPICLP-1986-LinKL86 #algorithm #execution #logic programming #parallel #source code
An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs (YJL, VK, CHCL), pp. 55–68.
ICLPICLP-1986-PereiraMCA86 #distributed #prolog
Delta Prolog: A Distributed Backtracking Extension with Events (LMP, LM, JCC, JNA), pp. 69–83.
ICLPICLP-1986-Wolfram86 #problem
Intractable Unifiability Problems and Backtracking (DAW), pp. 107–121.
ICLPSLP-1986-BorgwardtR86 #distributed #prolog
Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog (PB, DR), pp. 211–222.
ICLPSLP-1986-WooC86
Selecting the Backtrack Literal in the AND/OR Model (NSW, KMC), pp. 200–210.
FPCAFPCA-1985-Wadler85 #exception #functional #how #lazy evaluation #pattern matching
How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages (PW), pp. 113–128.
STOCSTOC-1985-CarterSW #complexity
The Complexity of Backtrack Searches (LC, LJS, MNW), pp. 449–457.
ICLPSLP-1985-ChangD85 #analysis #dependence #prolog
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.
ICLPSLP-1985-DembinskiM85 #logic programming #source code
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs (PD, JM), pp. 29–38.
CADECADE-1982-MatwinP #data type #exponential #implementation #performance
Exponential Improvement of Efficient Backtracking: data Structure and Implementation (SM, TP), pp. 240–259.
CADECADE-1982-PietrzykowskiM #deduction #exponential #performance
Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction (TP, SM), pp. 223–239.
CADECADE-1980-PereiraP #logic programming #source code
Selective Backtracking for Logic Programs (LMP, AP), pp. 306–317.
ICALPICALP-1977-Roever #fixpoint #on the
On Backtracking and Greatest Fixpoints (WPdR), pp. 412–429.
ICALPICALP-1976-Sintzoff #source code
Eliminating Blind Alleys from Backtrack Programs (MS), pp. 531–557.
ICSEICSE-1976-GerhartY #abstraction #programming
Control Structure Abstractions of the Backtracking Programming Technique (SLG, LY), p. 391.
DACDAC-1968-Lewis #design #programming
Backtrack programming in welded girder design (ADML).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.