scholarly journals The Complexity Landscape of Decompositional Parameters for ILP: Programs with Few Global Variables and Constraints

2021 ◽  
pp. 103561
Author(s):  
Pavel Dvořák ◽  
Eduard Eiben ◽  
Robert Ganian ◽  
Dušan Knop ◽  
Sebastian Ordyniak
Keyword(s):  
2016 ◽  
Vol 72 (3) ◽  
Author(s):  
Paul Juinn Bing Tan ◽  
Paul Juinn Bing Tan ◽  
Phillip Potamites

2007 ◽  
Vol 79 (5) ◽  
pp. 50002 ◽  
Author(s):  
J. M Casado ◽  
J Gómez-Ordóñez ◽  
M Morillo

Author(s):  
Philipp Dominik Schubert ◽  
Florian Sattler ◽  
Fabian Schiebel ◽  
Ben Hermann ◽  
Eric Bodden

2021 ◽  
Author(s):  
Philipp Dominik Schubert ◽  
Florian Sattler ◽  
Fabian Schiebel ◽  
Ben Hermann ◽  
Eric Bodden

1998 ◽  
Vol 08 (01) ◽  
pp. 41-50
Author(s):  
Yung-Syau Chen ◽  
Jean-Luc Gaudiot

Parallel branch-and-bound is an optimization technique which renders more efficient the solution of some hard problems such as the puzzle of colored blocks and the traveling-salesman problem. In a functional language such as Sisal 2.0, it is difficult for the programmer to describe a parallel version of this technique due to the lack of imperative features in the language. In this paper, we propose a version of Sisal 2.0 extended with user-declared mutable global variables in order to enable Sisal programmers to apply the parallel branch-and-bound technique. In a simple example (the puzzle of colored blocks), we show that this approach yields better performance than either conventional functional programs or imperative programs. It is easy to see that the same strategy can be used to solve a number of hard problems such as the traveling-salesman problem.


Author(s):  
Vasu Chakkera

We benefit more from documenting why certain functionality was implemented, or coded in a particular way in an XSLT stylesheet, than from the typical “what the code does” comment. K7:XSLTDocEngine is a personal project (non-commercial) to create XSLT stylesheet documentation from both inline stylesheet comments and documentation living outside the stylesheet. The external documentation lives in XML files, written in a variant of DocBook, that are generated by script and populated by XSLT analysts. These files are then used to generate configurable HTML documentation that provides the text as well as 1) hyperlinks to named templates, global variables and functions, imported/included templates and 2) reports of code violations such as potentially overridden functions, single-expressions, unused variables, and the like. Code violation criteria are defined in user-configurable rule sets.


Sign in / Sign up

Export Citation Format

Share Document