Search results for "backtracking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Marcello M. Bonsangue, Joost N. Kok	Semantics, Orderings and Recursion in the Weakest Precondition Calculus.	REX Workshop	1992	DBLP DOI BibTeX RDF	fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
26	Bogdan Korel	Automated Software Test Data Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
26	Benjamin Bell, Louis-François Pau	Contour Tracking and Corner Detection in a Logic Programming Environment.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	Prolog predicates, logic programming, computerised picture processing, computerised pattern recognition, computerised pattern recognition, unification, backtracking, corner detection, parameter selection, contour tracking, logic programming environment
26	Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau	Algorithms for Constructing Minimal Deduction Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF
26	Sam Bryfczynski	OrganicPad: a tablet PC based chemistry tool.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
26	Chan Yong Park, Sung-Hee Park, Dae-Hee Kim, Soo-Jun Park, Mankyu Sung, Hong-Ro Lee, Jung-Sub Shin, Chi-Jung Hwang	Fast Protein Structure Alignment Algorithm Based on Local Geometric Similarity.	MICAI	2006	DBLP DOI BibTeX RDF
26	Michael Benisch, Norman M. Sadeh	Examining DCSP coordination tradeoffs.	AAMAS	2006	DBLP DOI BibTeX RDF	constraint processing, computational complexity, agent systems, cooperative distributed problem solving
26	Ismel Brito	Synchronous, Asynchronous and Hybrid Algorithms for DisCSP.	CP	2004	DBLP DOI BibTeX RDF
26	Gene Golovchinsky	Going back in Hypertext.	Hypertext	2002	DBLP DOI BibTeX RDF
26	Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings	Consistency Maintenance for ABT.	CP	2001	DBLP DOI BibTeX RDF
26	Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Independent AND-Parallel Implementation of Narrowing.	PLILP	1992	DBLP DOI BibTeX RDF
26	Philippe Codognet	Equations, Disequations and Unsolvable Subsets (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
26	S. Srinivasan, Pradip Dey, Yoichi Hayashi	A flexible interactive control structure for rule-based systems.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
26	Ewald Speckenmeyer	Is Average Superlinear Speedup Possible?	CSL	1988	DBLP DOI BibTeX RDF
23	Marius-Calin Silaghi, Makoto Yokoo	ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Semi-cooperative agents, ADOPT, Distributed problem solving, DCOPs
23	Yannis Marinakis, Athanasios Migdalas, Panos M. Pardalos	Multiple phase neighborhood Search - GRASP based on Lagrangean relaxation, random backtracking Lin-Kernighan and path relinking for the TSP.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF	ENS, Lagrangean relaxation and subgradient optimization, TSP, Metaheuristics, GRASP
23	Josue Bracho-Ríos, Jose Torres-Jimenez, Eduardo Rodriguez-Tello	A New Backtracking Algorithm for Constructing Binary Covering Arrays of Variable Strength.	MICAI	2009	DBLP DOI BibTeX RDF	Software testing, Branch and Bound, Covering Arrays
23	Georg Gottlob, Marko Samer	A backtracking-based algorithm for hypertree decomposition.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	hypertree decomposition, Constraint satisfaction
23	Tijs van der Storm	Backtracking Incremental Continuous Integration.	CSMR	2008	DBLP DOI BibTeX RDF
23	Georgios Ch. Sirakoulis	Automatic Design of FPGA Processor for the Backtracking of DNA Sequences Evolution Using Cellular Automata and Genetic Algorithms.	ACRI	2008	DBLP DOI BibTeX RDF
23	Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge	The ComBack Method - Extending Hash Compaction with Backtracking.	ICATPN	2007	DBLP DOI BibTeX RDF
23	Shinya Hiramoto, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima	A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads.	ARC	2007	DBLP DOI BibTeX RDF
23	Ke Liu 0001, Nael B. Abu-Ghazaleh	Virtual Coordinates with Backtracking for Void Traversal in Geographic Routing.	ADHOC-NOW	2006	DBLP DOI BibTeX RDF
23	Bertrand Neveu, Gilles Chabert, Gilles Trombettoni	When Interval Analysis Helps Inter-block Backtracking.	CP	2006	DBLP DOI BibTeX RDF
23	Michael Alekhnovich, Allan Borodin, Joshua Buresh-Oppenheim, Russell Impagliazzo, Avner Magen, Toniann Pitassi	Toward a Model for Backtracking and Dynamic Programming.	CCC	2005	DBLP DOI BibTeX RDF
23	Olivier Lhomme	Amortized Random Backtracking.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	nonsystematic search, amortization
23	David Eppstein	Quasiconvex analysis of backtracking algorithms.	SODA	2004	DBLP BibTeX RDF
23	Mitchell Wand, Dale Vaillancourt	Relating models of backtracking.	ICFP	2004	DBLP DOI BibTeX RDF	two-continuation semantics, streams, monads, logical relations, adequacy
23	Stephen M. Majercik	Nonchronological Backtracking in Stochastic Boolean Satisfiability.	ICTAI	2004	DBLP DOI BibTeX RDF
23	Manabu Sueishi, Masato Kitakami, Hideo Ito	Fault-Tolerant Message Switching Based on Wormhole Switching and Backtracking.	PRDC	2004	DBLP DOI BibTeX RDF
23	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001	Heuristic Backtracking Algorithms for SAT.	MTV	2003	DBLP DOI BibTeX RDF
23	Carlos Cotta	Protein Structure Prediction Using Evolutionary Algorithms Hybridized with Backtracking.	IWANN (2)	2003	DBLP DOI BibTeX RDF
23	Wanlin Pang, Scott D. Goodwin	A Graph Based Backtracking Algorithm for Solving General CSPs.	AI	2003	DBLP DOI BibTeX RDF
23	Bertrand Neveu, Christophe Jermann, Gilles Trombettoni	Inter-block Backtracking: Exploiting the Structure in Continuous CSPs.	COCOS	2003	DBLP DOI BibTeX RDF
23	Cyril Terrioux, Philippe Jégou	Bounded Backtracking for the Valued Constraint Satisfaction Problems.	CP	2003	DBLP DOI BibTeX RDF
23	Jlifi Boutheina, Khaled Ghédira	On the Enhancement of the Informed Backtracking Algorithm.	CP	2003	DBLP DOI BibTeX RDF
23	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001	Heuristic-Based Backtracking for Propositional Satisfiability.	EPIA	2003	DBLP DOI BibTeX RDF
23	Sharon Barner, Daniel Geist, Anna Gringauze	Symbolic Localization Reduction with Reconstruction Layering and Backtracking.	CAV	2002	DBLP DOI BibTeX RDF
23	Ray-Shang Lo, Gen-Huey Chen	Embedding Hamiltonian Paths in Faulty Arrangement Graphs with the Backtracking Method.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Hamiltonian cycle, star graph, Hamiltonian path, graph-theoretic interconnection network, fault-tolerant embedding, Arrangement graph
23	Youssef Hamadi	Interleaved Backtracking in Distributed Constraint Networks.	ICTAI	2001	DBLP DOI BibTeX RDF	Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
23	Christian Bessière, Arnold Maestre, Pedro Meseguer	Distributed Dynamic Backtracking.	CP	2001	DBLP DOI BibTeX RDF
23	M. H. Konijnenburg, Hans van der Linden, Ad J. van de Goor	Fault (In)Dependent Cost Estimates and Conflict-Directed Backtracking to Guide Sequential Circuit Test Generation.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	sequential circuit TPG, back-jumping, conflict-directed backtrack, three-state (tri-state) circuit TPG, ATPG, cost estimates
23	Enrico Pontelli, Gopal Gupta 0001	Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages.	ICPP	1998	DBLP DOI BibTeX RDF
23	Tiziana Margaria, Bernhard Steffen	Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.	FASE	1998	DBLP DOI BibTeX RDF
23	Yueh-O Wang, Nancy M. Amato, Donald K. Friesen	Hindsight Helps: Deterministic Task Scheduling with Backtracking.	ICPP	1997	DBLP DOI BibTeX RDF	Models, Algorithms, Deterministic, Parallel Task Scheduling
23	Leonardo Campanale, Mario De Blasi, Anna Gentile, F. Greco	Topologies for the parallel backtracking Prolog engine.	MICRO	1990	DBLP BibTeX RDF	Prolog machines, backup or-parallelism, distributed systems, topologies, coprocessors, transputers, Occam, multicomputer networks
23	Carlo Gaibisso	A Partially Persistent Data Structure for the Set-Union Problem with Backtracking.	IMYCS	1988	DBLP DOI BibTeX RDF
23	Heikki Mannila, Esko Ukkonen	The Set Union Problem with Backtracking.	ICALP	1986	DBLP DOI BibTeX RDF
23	Tomasz Pietrzykowski, Stan Matwin	Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction.	CADE	1982	DBLP DOI BibTeX RDF
23	Stan Matwin, Tomasz Pietrzykowski	Exponential Improvement of Efficient Backtracking: data Structure and Implementation.	CADE	1982	DBLP DOI BibTeX RDF
17	Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi	Packrat parsers can handle practical grammars in mostly constant space.	PASTE	2010	DBLP DOI BibTeX RDF	cut operators, packrat parsing, parsing expression grammars, backtracking, memoization, parser generator
17	Lei Wang 0004, Huimin Cui, Yuelu Duan, Fang Lu, Xiaobing Feng 0002, Pen-Chung Yew	An adaptive task creation strategy for work-stealing scheduling.	CGO	2010	DBLP DOI BibTeX RDF	task granularity, adaptive, work-stealing, backtracking search
17	Xiucai Ji, Hui Zhang 0053, Dan Hai, Zhiqiang Zheng	An Incremental SLAM Algorithm with Inter-calibration between State Estimation and Data Association.	RoboCup	2008	DBLP DOI BibTeX RDF	least-squares, SLAM, state estimation, data association, backtracking search
17	Liguo Deng, Zongmin Ma 0001, Qiang Tong	The Design and Analysis of Constraint Networks for Uncertain Temporal Interval Relations.	IIH-MSP	2008	DBLP DOI BibTeX RDF	Temporal Interval Network, backtracking algorithms, uncertainty of temporal information, uncertain interval relations, path-consistency
17	Matti Pirinen, Dario Gasbarra	Finding Consistent Gene Transmission Patterns on Large and Complex Pedigrees.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	sorting and searching, consistent genotype configuration, constraint satisfaction, biology and genetics, Backtracking, heuristic methods, pedigree
17	Karam Gouda, Mohammed Javeed Zaki	GenMax: An Efficient Algorithm for Mining Maximal Frequent Itemsets.	Data Min. Knowl. Discov.	2005	DBLP DOI BibTeX RDF	maximal itemsets, data mining, association rules, frequent itemsets, backtracking search
17	Vasco M. Manquinho, João P. Marques Silva	Satisfiability-Based Algorithms for Boolean Optimization.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability
17	Mukul R. Prasad, Philip Chong, Kurt Keutzer	Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits?	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	combinational ATPG, SAT, backtracking, complexity analysis, VLSI circuits
17	Jian Zhang 0001	Automatic symmetry breaking method combined with SAT.	SAC	2001	DBLP DOI BibTeX RDF	symmetry, backtracking search, finite models
17	Shu-Ching Chen, Mei-Ling Shyu, Chengcui Zhang, Rangasami L. Kashyap	Object tracking and multimedia augmented transition network for video indexing and modeling.	ICTAI	2000	DBLP DOI BibTeX RDF	multimedia augmented transition network, multimedia input strings, video data modelling, video data structuring, semantic objects, unsupervised video segmentation method, SPCPE algorithm, simultaneous partitioning, class parameter estimation, overlapped objects, backtrack-chain-update-split algorithm, split segment identification, video frame updating, image segmentation, artificial intelligence, tracking, parameter estimation, multimedia databases, object tracking, video indexing, video databases, video signal processing, backtracking, spatial relations, temporal relations, multimedia database systems, multimedia browsing, segmentation method, database indexing, input modelling
17	Ananth Grama, Vipin Kumar 0001	State of the Art in Parallel Search Techniques for Discrete Optimization Problems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	game-tree search, speedup anomalies, load balancing, Parallel processing, heuristic search, backtracking, tree search, discrete optimization
17	Makoto Yokoo, Edmund H. Durfee, Toru Ishida 0001, Kazuhiro Kuwabara	The Distributed Constraint Satisfaction Problem: Formalization and Algorithms.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	Backtracking algorithms, iterative improvement algorithm, multiagent systems, constraint satisfaction problem, distributed artificial intelligence
17	Thomas W. Reps	"Maximal-munch" Tokenization in Linear Time.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	tabulation, dynamic programming, backtracking, tokenization, memoization
17	Dz-Mou Jung, Mukkai S. Krishnamoorthy, George Nagy, Andrew Shapira	N-Tuple Features for OCR Revisited.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	character features, distinguishing string, missing configuration, n-tuples, classification, decision trees, OCR, Backtracking, simulated parallelism
17	Jun Gu	Global Optimization for Satisfiability (SAT) Problem.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	global optimization algorithms, VLSI engineering, DNF local search methods, Universal SAT problem model, UniSAT, discrete SAT problem, Boolean space, unconstrained global optimization problem, real space, direct correspondence, global minimum point, backtracking/resolution procedures, optimisation, inference, inference mechanisms, search problems, automated reasoning, formal logic, CNF, conjunctive normal form, computing theory, satisfiability problem, SAT problem, mathematical logic
17	Nader Bagherzadeh, Nayla Nassif, Shahram Latifi	A Routing and Broadcasting Scheme on Faulty Star Graphs.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	faulty star graphs, backtracking technique, faulty links, performance analysis, distributed algorithms, fault tolerant computing, shortest path, depth first search, routing scheme, optimal path, broadcasting scheme
17	Amitava Dutta, Sabyasachi Mitra	Integrating Heuristic Knowledge and Optimization Models for Communications Network Design.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	communication network design, heuristic design knowledge, TMS, dependency-directed backtracking mechanism, hybrid tool, modular structure, incremental refinement, truth maintenance, CAD, knowledge based systems, decision support systems, computer networks, telecommunications computing, optimization models, blackboard, blackboard architecture, justification, topological design, truth maintenance system, computer communication networks
17	Parthasarathy P. Tirumalai, Jon T. Butler	Minimization Algorithms for Multiple-Valued Programmable Logic Arrays.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	minimisation algorithms, multiple-valued programmable logic arrays, sum-of products, MIN operation, random-symmetric functions, constrained implicant sets, charge-coupled device circuits, performance, CMOS, heuristic algorithms, many-valued logics, minimisation, CMOS integrated circuits, backtracking, logic arrays, tree search, multiple-valued functions, charge-coupled device
17	Yves Bekkers, Lucien Ungaro	Real-Time Memory Management for Prolog.	RCLP	1991	DBLP DOI BibTeX RDF	early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector
17	Barry S. Fagin, Alvin M. Despain	The Performance of Parallel Prolog Programs.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	parallel Prolog programs, intelligent backtracking, super-multiplicative behavior, performance evaluation, performance, parallel programming, PROLOG, OR-parallelism, AND-parallelism
17	Joost N. Kok	Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog.	REX Workshop	1989	DBLP DOI BibTeX RDF	Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
17	Karl E. Stoffers	Test Sets for Combinational Logic - The Edge-Tracing Approach.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	Backward tracing, convergence-point test for multiple paths, no backtracking, no dead-ending, stuck-at-faults, path sensitizing
17	Daniel G. Bobrow, Ben Wegbreit	A Model for Control Structures for Artificial Intelligence Programming Languages.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	functional arguments, higher level languages, contexts, multiprogramming, Backtracking, control structures, dynamic storage allocation
17	Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan	Distributed constraint satisfaction with partially known constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Privacy, Entropy
17	Javier Orozco, F. Xavier Roca, Jordi Gonzàlez 0001	Real-time gaze tracking with appearance-based models.	Mach. Vis. Appl.	2009	DBLP DOI BibTeX RDF	Eyelid and iris tracking, Iris saccade, Real-time gaze tracking, Appearance models, Blinking
17	Florian Kantz, Thomas Ruschival, Philipp Nenninger, Detlef Streitferdt	Testing with Large Parameter Sets for the Development of Embedded Systems in the Automation Domain.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
17	Harald Weinreich, Hartmut Obendorf, Eelco Herder, Matthias Mayer	Not quite the average: An empirical study of Web use.	ACM Trans. Web	2008	DBLP DOI BibTeX RDF	browser interfaces, WWW, usability, Navigation, user study, Web, hypertext, web design, web browsing
17	Youngrock Yoon, Akio Kosaka, Avinash C. Kak	A New Kalman-Filter-Based Framework for Fast and Accurate Visual Tracking of Rigid Objects.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
17	Ralph Becket, Zoltan Somogyi	DCGs + Memoing = Packrat Parsing but Is It Worth It?	PADL	2008	DBLP DOI BibTeX RDF	packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury
17	Quan Phan, Zoltan Somogyi, Gerda Janssens	Runtime support for region-based memory management in Mercury.	ISMM	2008	DBLP DOI BibTeX RDF	logic programming, region-based memory management, mercury
17	Wei Zhang 0020, Robert A. van Engelen	High-Performance XML Parsing and Validation with Permutation Phrase Grammar Parsers.	ICWS	2008	DBLP DOI BibTeX RDF
17	Jing-Chu Chan, Nelson Yen-Chung Chang, Tian-Sheuan Chang	ISID : In-order scan and indexed diffusion segmentation algorithm for stereo vision.	ISCAS	2008	DBLP DOI BibTeX RDF
17	Xin Li 0051, Tian Liu 0001, Han Peng, Liyan Qian, Hongtao Sun, Jin Xu 0002, Ke Xu 0001, Jiaqi Zhu	Improved Exponential Time Lower Bound of Knapsack Problem Under BT Model.	TAMC	2007	DBLP DOI BibTeX RDF
17	Fahiem Bacchus	GAC Via Unit Propagation.	CP	2007	DBLP DOI BibTeX RDF
17	Ismel Brito, Pedro Meseguer	Improving ABT Performance by Adding Synchronization Points.	CSCLP	2007	DBLP DOI BibTeX RDF
17	Fedor V. Fomin, Fabrizio Grandoni 0001, Dieter Kratsch	Measure and conquer: a simple O(20.288n) independent set algorithm.	SODA	2006	DBLP DOI BibTeX RDF	exponential-time exact algorithms, independent set problem, NP-hard problems, algorithms and data structures
17	Bill Stoddart, Frank Zeyda, Robert Lynas	A Design-Based Model of Reversible Computation.	UTP	2006	DBLP DOI BibTeX RDF
17	Tushar S. Kulkarni, Bernd S. W. Schröder	An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms.	ICFCA	2006	DBLP DOI BibTeX RDF	search, constraint satisfaction, enumeration
17	Fedor V. Fomin, Fabrizio Grandoni 0001, Dieter Kratsch	Measure and Conquer: Domination - A Case Study.	ICALP	2005	DBLP DOI BibTeX RDF
17	Uwe Schöning	Algorithmics in Exponential Time.	STACS	2005	DBLP DOI BibTeX RDF
17	Henry Müller, Stefan Jähnichen	GOOSE - A Generic Object-Oriented Search Environment.	CP	2005	DBLP DOI BibTeX RDF
17	J. Christopher Beck	Multi-point Constructive Search.	CP	2005	DBLP DOI BibTeX RDF
17	Horst Samulowitz, Fahiem Bacchus	Using SAT in QBF.	CP	2005	DBLP DOI BibTeX RDF
17	Vladimir Hahanov, Irina V. Hahanova, Stanley Hyduke	Topological BDP Fault Simulation Method.	DSD	2004	DBLP DOI BibTeX RDF
17	Gummadi S. Ramakrishna, Wai Ho Mow	A New Search for Optimal Binary Arrays with Minimum Peak Sidelobe Levels.	SETA	2004	DBLP DOI BibTeX RDF
17	Matthew Beaumont, John Thornton 0001, Abdul Sattar 0001, Michael J. Maher	Solving Over-Constrained Temporal Reasoning Problems Using Local Search.	PRICAI	2004	DBLP DOI BibTeX RDF
17	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	QuBE++: An Efficient QBF Solver.	FMCAD	2004	DBLP DOI BibTeX RDF
17	Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani	Integrated Prepass Scheduling for a Java Just-In-Time Compiler on the IA-64 Architecture.	CGO	2003	DBLP DOI BibTeX RDF
17	Daniel Won-Kyu Hong, Choong Seon Hong, Dong-Sik Yun	A Configuration Algorithm for Supporting VC-merge Concept under the Cell-Based MPLS Network.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
17	Michael Y. Levin	Compiling regular patterns.	ICFP	2003	DBLP DOI BibTeX RDF	compilation, pattern matching