366 citations
- Centre for Cosmology and Particle Physics PhenomenologyDK10 papers
- Helsinki Institute of PhysicsFI8 papers
- European Organization for Nuclear ResearchCH5 papers
- Indian Institute of Technology MadrasIN5 papers
- University of HelsinkiFI5 papers
- RWTH Aachen UniversityDE4 papers
- University of EdinburghGB4 papers
- University of MemphisUS4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- McGill UniversityCA3 papers
- SLAC National Accelerator LaboratoryUS3 papers
- Swedish Chemicals AgencySE3 papers
4 papers · 1 filter
Inferring Chemical Reaction Patterns Using Rule Composition in Graph Grammars
Jakob L. Andersen, Christoph Flamm, Daniel Merkle +1
Modeling molecules as undirected graphs and chemical reactions as graph rewriting operations is a natural and convenient approach tom odeling chemistry. Graph grammar rules are mos…
Separator Theorems for Minor-Free and Shallow Minor-Free Graphs with Applications
Christian Wulff-Nilsen
Alon, Seymour, and Thomas generalized Lipton and Tarjan's planar separator theorem and showed that a -minor free graph with vertices has a separator of size at most $h^{3/…
Optimal Base Encodings for Pseudo-Boolean Constraints
Michael Codish, Yoav Fekete, Carsten Fuhs +1
This paper formalizes the optimal base problem, presents an algorithm to solve it, and describes its application to the encoding of Pseudo-Boolean constraints to SAT. We demonstrat…
On the expressive power of permanents and perfect matchings of matrices of bounded pathwidth/cliquewidth
Uffe Flarup, Laurent Lyaudet
Some 25 years ago Valiant introduced an algebraic model of computation in order to study the complexity of evaluating families of polynomials. The theory was introduced along with…