Stem backtrack$ (all stems)

66 papers:

AFL-2014-BerglundDM #backtracking #behaviour #regular expression

Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching (MB, FD, BvdM), pp. 109–123.

CGO-2014-Herczeg #backtracking #compilation #library

Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.

TLCA-2013-BerardiT #backtracking #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 #backtracking #independence #parallel

Parallel backtracking with answer memoing for independent and-parallelism (PCdG, AC, MC, MVH), pp. 555–574.

PPoPP-2009-HiraishiYUY #backtracking

Backtracking-based load balancing (TH, MY, SU, TY), pp. 55–64.

CSMR-2008-Storm #backtracking #incremental #integration

Backtracking Incremental Continuous Integration (TvdS), pp. 233–242.

FLOPS-2008-Kobayashi08a #backtracking #continuation

A New Translation for Semi-classical Theories — Backtracking without CPS (SK), pp. 210–223.

CIAA-2005-SudaH #algorithm #automaton #backtracking #top-down

Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.

ICFP-2005-KiselyovSFS #backtracking #functional #monad

Backtracking, interleaving, and terminating monad transformers: (functional pearl) (OK, CcS, DPF, AS), pp. 192–203.

ITiCSE-WGR-2004-RolfeP #backtracking #bound #problem

An alternative problem for backtracking and bounding (TJR, PWP), pp. 83–84.

ICALP-2004-DawarGK #backtracking #fixpoint #game studies

Backtracking Games and Inflationary Fixed Points (AD, EG, SK), pp. 420–432.

ICFP-2004-WandV #backtracking #modelling

Relating models of backtracking (MW, DV), pp. 54–65.

SOSP-2003-KingC #backtracking

Backtracking intrusions (STK, PMC), pp. 223–236.

HPDC-2002-MatthewsHJL #automation #backtracking #debugging #source code

Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs (GM, RH, SJ, PFL), p. 150–?.

CAV-2002-BarnerGG #backtracking #locality #re-engineering #reduction

Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.

SAT-2002-AloulRMS1 #backtracking #named

PBS: A backtrack-search psuedo-Boolean solver and optimizer (FAA, AR, IM, KS), p. 37.

SAT-2002-AloulSS #backtracking

A tool for measuring progress of backtrack-search solvers (FAA, BS, KS), p. 28.

SAT-2002-LynceM #backtracking #data type #performance #satisfiability

Efficient data structures for backtrack search SAT solvers (IL, JMS), p. 20.

SAT-2002-LynceM1 #algorithm #backtracking #satisfiability #strict

Complete unrestricted backtracking algorithms for satisfiability (IL, JMS), p. 29.

RE-2001-Kovitz #backtracking #development #learning

Is Backtracking so Bad? The Role of Learning in Software Development (BK), p. 272.

SAT-2001-CoccoM #analysis #backtracking #physics #random #satisfiability #statistics

Statistical physics analysis of the backtrack resolution of random 3-SAT instances (SC, RM), pp. 36–47.

ICFP-2000-Hinze #backtracking #monad

Deriving backtracking monad transformers (RH), pp. 186–197.

FASE-1998-MargariaS #automation #backtracking #design #synthesis

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (TMS, BS), pp. 188–204.

ICALP-1996-HerleyPP #backtracking #performance

Fast Deterministic Backtrack Search (KTH, AP, GP), pp. 598–609.

ICLP-1995-Cicekli #backtracking

Shallow Backtracking Points in an Intelligent Backtracking Schema (IC), p. 815.

ILPS-1995-TarauDF #backtracking #continuation #linear

Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars (PT, VD, AF), p. 642.

HT-ECHT-1994-BieberW #backtracking #hypermedia #multi

Backtracking in a Multiple-Window Hypertext Environment (MB, JW), pp. 158–166.

PLDI-1994-HentenryckR #backtracking

Backtracking without Trailing in CLP(R_Lin) (PVH, VR), pp. 349–360.

KR-1994-GinsbergM #backtracking

GSAT and Dynamic Backtracking (MLG, DAM), pp. 226–237.

ICLP-1994-BurgLH #backtracking #set

Finding Conflict Sets and Backtrack Points in CLP(R) (JB, SDL, CEH), pp. 323–338.

ILPS-1994-TangPGC #backtracking #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 #backtracking #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 #backtracking #on the #parallel

On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search (AG, UK), pp. 106–127.

ICLP-1993-KossovskyS #backtracking #logic programming

Function-Patterns and Fan-Backtracking for Logic Programming (NKK, IPS), p. 843.

WSA-1992-QueinnecG #backtracking #partial evaluation #pattern matching

Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack (CQ, PG), pp. 109–117.

KR-1992-XiongSS #backtracking #scheduling

Intelligent Backtracking Techniques for Job Shop Scheduling (YX, NMS, KPS), pp. 14–23.

PLILP-1992-HansLW #backtracking #evaluation #interactive #lazy evaluation #on the

On the Interaction of Lazy Evaluation and Backtracking (WH, RL, SW), pp. 355–369.

WSA-1991-Billaud #axiom #backtracking

Axiomatizations of Backtracking (MB), pp. 111–116.

ICLP-1991-CodognetS #backtracking

Extending the WAM for Intelligent Backtracking (PC, TS), pp. 127–141.

ISLP-1991-BackerB #backtracking

Intelligent Backtracking for CLP Languages: An Application to CLP(R) (BDB, HB), pp. 405–419.

NACLP-1989-Lin #backtracking #parallel #performance #random

Expected Performance of the Randomized Parallel Backtracking Method (ZL), pp. 677–696.

OOPSLA-1988-LaLondeG #backtracking #kernel #smalltalk

Building a Backtracking Facility in Smalltalk Without Kernel Support (WRL, MVG), pp. 105–122.

JICSCP-1988-CodognetCF88 #backtracking

Yet Another Intelligent Backtracking Method (CC, PC, GF), pp. 447–465.

JICSCP-1988-SomogyiRV88 #algorithm #backtracking #execution

A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.

CSL-1987-Speckenmeyer #backtracking #complexity #on the #problem #satisfiability

On the Average Case Complexity of Backtracking for the Exact-Satisfiability Problem (ES), pp. 281–288.

SLP-1987-KumarL87 #backtracking #prolog

An Intelligent Backtracking Scheme for Prolog (VK, YJL), pp. 406–414.

SLP-1987-WestphalRCS87 #backtracking

The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism (HW, PR, JCdK, JCS), pp. 436–448.

ESOP-1986-CodognetCF #backtracking #logic programming #source code

A Very Intelligent Backtracking Method for Logic Programs (CC, PC, GF), pp. 315–326.

ICALP-1986-MannilaU #backtracking #problem #set

The Set Union Problem with Backtracking (HM, EU), pp. 236–243.

ICLP-1986-HermenegildoN86 #backtracking #performance

Efficient Management of Backtracking in AND-Parallelism (MVH, RIN), pp. 40–54.

ICLP-1986-LinKL86 #algorithm #backtracking #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 #backtracking #distributed #prolog

Delta Prolog: A Distributed Backtracking Extension with Events (LMP, LM, JCC, JNA), pp. 69–83.

ICLP-1986-Wolfram86 #backtracking #problem

Intractable Unifiability Problems and Backtracking (DAW), pp. 107–121.

SLP-1986-BorgwardtR86 #backtracking #distributed #prolog

Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog (PB, DR), pp. 211–222.

SLP-1986-WooC86 #backtracking

Selecting the Backtrack Literal in the AND/OR Model (NSW, KMC), pp. 200–210.

STOC-1985-CarterSW #backtracking #complexity

The Complexity of Backtrack Searches (Preliminary Version) (LC, LJS, MNW), pp. 449–457.

FPCA-1985-Wadler85 #backtracking #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.

SLP-1985-ChangD85 #analysis #backtracking #dependence #prolog

Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.

SLP-1985-DembinskiM85 #backtracking #logic programming #source code

AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs (PD, JM), pp. 29–38.

CADE-1982-MatwinP #backtracking #data type #exponential #implementation #performance

Exponential Improvement of Efficient Backtracking: data Structure and Implementation (SM, TP), pp. 240–259.

CADE-1982-PietrzykowskiM #backtracking #deduction #exponential #performance

Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction (TP, SM), pp. 223–239.

CADE-1980-PereiraP #backtracking #logic programming #source code

Selective Backtracking for Logic Programs (LMP, AP), pp. 306–317.

ICALP-1977-Roever #backtracking #fixpoint #on the

On Backtracking and Greatest Fixpoints (WPdR), pp. 412–429.

ICALP-1976-Sintzoff #backtracking #source code

Eliminating Blind Alleys from Backtrack Programs (MS), pp. 531–557.

ICSE-1976-GerhartY #abstraction #backtracking #programming

Control Structure Abstractions of the Backtracking Programming Technique (Abstract) (SLG, LY), p. 391.

DAC-1968-Lewis #backtracking #design #programming

Backtrack programming in welded girder design (ADML).