Jip J. Dekker

201720182019202020212022202320244 8 13 8 4 7 13 1

Openbare toegang

3 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Peter StuckeyFaculty of Information Technology, Monash UniversityGeverifieerd e-mailadres voor monash.edu
Guido TackAssociate Professor, Monash UniversityGeverifieerd e-mailadres voor monash.edu
Andreas SchuttData61, CSIROGeverifieerd e-mailadres voor data61.csiro.au
Maria Garcia de la BandaFaculty of Information Technology, Monash UniversityGeverifieerd e-mailadres voor monash.edu
Graeme GangeMonash UniversityGeverifieerd e-mailadres voor monash.edu
Gustav BjördalComputing Science, Uppsala UniversityGeverifieerd e-mailadres voor it.uu.se
Mats CarlssonRISE Research Institutes of SwedenGeverifieerd e-mailadres voor ri.se
Jean-Noël MonetteTacton Systems ABGeverifieerd e-mailadres voor it.uu.se
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenGeverifieerd e-mailadres voor it.uu.se
Edward LamMonash UniversityGeverifieerd e-mailadres voor monash.edu
Pascal Van HentenryckGeorgia Institute of TechnologyGeverifieerd e-mailadres voor isye.gatech.edu
Hendrik BierleePhD student, Monash UniversityGeverifieerd e-mailadres voor monash.edu
Vitaly LagoonCadence Design SystemsGeverifieerd e-mailadres voor cadence.com

Jip J. Dekker

Research Fellow, OPTIMA & Monash University

Geverifieerd e-mailadres voor monash.edu - Homepage


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Auto-tabling for subproblem presolving in MiniZinc JJ Dekker, G Björdal, M Carlsson, P Flener, JN Monette Constraints 22 (4), 512-529, 2017	20	2017
Solver-independent large neighbourhood search JJ Dekker, MG De La Banda, A Schutt, PJ Stuckey, G Tack International Conference on Principles and Practice of Constraint …, 2018	16	2018
Nutmeg: a MIP and CP hybrid solver using branch-and-check E Lam, G Gange, PJ Stuckey, P Van Hentenryck, JJ Dekker SN Operations Research Forum 1, 1-27, 2020	13	2020
Sub-problem pre-solving in MiniZinc JJ Dekker	7	2016
Generating a Google Go framework from an Uppaal Model JJ Dekker Radboud University, 2014	3	2014
Coupling Different Integer Encodings for SAT H Bierlee, G Gange, G Tack, JJ Dekker, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2022	1	2022
A Modern Architecture for Constraint Modelling Languages JJ Dekker Monash University, 2021		2021
Single Constant Multiplication for SAT H Bierlee, JJ Dekker, V Lagoon, PJ Stuckey, G Tack
An Abstract Machine Model for MiniZinc JJ Dekker, A Schutt, MG de la Banda, G Gange, PJ Stuckey, G Tack

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–9

Citaties per jaar