Articles de revista
Recent Submissions
-
Employee scheduling with SAT-based pseudo-boolean constraint solving
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Article
Open AccessThe aim of this paper is practical: to show that, for at least one important real-world problem, modern SAT-based technology can beat the extremely mature branch-and-cut solving methods implemented in well-known state-of-the-art ... -
A heuristic approach to the design of optimal cross-docking boxes
(Institute of Electrical and Electronics Engineers (IEEE), 2021-09-03)
Article
Open AccessMultinational companies frequently work with manufacturers that receive large orders for different products (or product varieties: size, shape, color, texture, material), to serve thousands of different final destinations ... -
Incomplete SMT techniques for solving non-linear formulas over the integers
(2019-08-01)
Article
Open AccessWe present new methods for solving the Satisfiability Modulo Theories problem over the theory of QuantifierFree Non-linear Integer Arithmetic, SMT(QF-NIA), which consists of deciding the satisfiability of ground formulas ... -
Short proofs of the Kneser-Lovász coloring principle
(2018-08)
Article
Open AccessWe prove that propositional translations of the Kneser–Lovász theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs for all fixed values of k. We present a new counting-based combinatorial ... -
Are crossing dependencies really scarce?
(2018-03-01)
Article
Open AccessThe syntactic structure of a sentence can be modelled as a tree, where vertices correspond to words and edges indicate syntactic dependencies. It has been claimed recurrently that the number of edge crossings in real ... -
Subproblem ordering heuristics for AND/OR best-first search
(2017-11-09)
Article
Open AccessBest-first search can be regarded as anytime scheme for producing lower bounds on the optimal solution, a characteristic that is mostly overlooked. We explore this topic in the context of AND/OR best-first search, guided ... -
Residual-guided look-ahead in AND/OR search for graphical models
(2017-10-01)
Article
Open AccessWe introduce the concept of local bucket error for the mini-bucket heuristics and show how it can be used to improve the power of AND/OR search for combinatorial optimization tasks in graphical models (e.g. MAP/MPE or ... -
Jutge.org: characteristics and experiences
(2018-07)
Article
Open AccessJutge.org is an open educational online programming judge designed for students and instructors, featuring a repository of problems that is well organized by courses, topics and difficulty. Internally, Jutge.org uses a ... -
A correction on Shiloach's algorithm for minimum linear arrangement of trees
(2017-06-29)
Article
Open AccessMore than 30 years ago, Shiloach published an algorithm to solve the minimum linear arrangement problem for undirected trees. Here we fix a small error in the original version of the algorithm and discuss its effect on ... -
Improving IntSat by expressing disjunctions of bounds as linear constraints
(2016)
Article
Restricted access - publisher's policyConflict-Driven Clause Learning (CDCL) SAT solvers can automatically solve very large real-world problems. IntSat is a new technique extending CDCL to Integer Linear Programming (ILP). For some conflicts, IntSat generates ... -
Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets
(2016-06-01)
Article
Open AccessWe extend results of Bonet, Buss and Pitassi on Bondy's Theorem and of Nozaki, Arai and Arai on Bollobas' Theorem by proving that Frankl's Theorem on the trace of sets has quasipolynomial size Frege proofs. For constant ... -
The scaling of the minimum sum of edge lengths in uniformly random trees
(Institute of Physics (IOP), 2016-06-21)
Article
Open AccessThe minimum linear arrangement problem on a network consists of finding the minimum sum of edge lengths that can be achieved when the vertices are arranged linearly. Although there are algorithms to solve this problem on ...
RSS 1.0