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