Using sequential runtime distributions for the parallel speedup prediction of SAT local search

Theory And Practice Of Logic Programming (p. 625-639) - 1/7/2013

10.1017/s1471068413000392 View at source

• ISSN 14710684

• iMarina

Smart and sustainable scheduling of charging events for electric buses

Top - 1/1/2023

10.1007/s11750-023-00657-5 View at source

• ISSN 11345764

• iMarina

Robust eBuses Charging Location Problem

Ieee Open Journal Of Intelligent Transportation Systems (p. 856-871) - 1/1/2022

10.1109/ojits.2022.3229647 View at source

• ISSN 26877813

• iMarina

Online over time processing of combinatorial problems

Constraints (p. 310-334) - 1/7/2018

10.1007/s10601-018-9287-4 View at source

• ISSN 13837133

• iMarina

Estimating parallel runtimes for randomized algorithms in constraint solving

JOURNAL OF HEURISTICS (p. 613-648) - 1/8/2016

10.1007/s10732-015-9292-3 View at source

• ISSN 13811231

• iMarina

CP and MIP approaches for soccer analysis

Journal Of Industrial And Management Optimization (p. 1535-1564) - 1/1/2019

10.3934/jimo.2018109 View at source

• ISSN 15475816

• iMarina

Automatic assessment of object oriented programming assignments with unit testing in Python and a real case assignment

Computer Applications In Engineering Education - 1/1/2023

10.1002/cae.22642 View at source

• ISSN 10613773

• iMarina

Access and metro network convergence for flexible end-to-end network design [invited]

Journal of Optical Communications and Networking (p. 524-535) - 1/6/2017

10.1364/jocn.9.000524 View at source

• ISSN 19430620

• iMarina

A constraint-based parallel local search for the edge-disjoint rooted distance-constrained minimum spanning tree problem

JOURNAL OF HEURISTICS (p. 359-394) - 1/6/2018

10.1007/s10732-017-9342-0 View at source

• ISSN 13811231

• iMarina

Transition to eBuses with minimal timetable disruptions

Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020 (p. 119-120) - 1/1/2020

• iMarina

Towards massively parallel local search for SAT (Poster presentation)

LECTURE NOTES IN COMPUTER SCIENCE (p. 481-482) - 30/7/2012

10.1007/978-3-642-31612-8_45 View at source

• ISSN 03029743

• iMarina

SABIO: An implementation of MIP and CP for interactive soccer queries

International Conference On Principles And Practice Of Constraint Programming (Cp 2016) (p. 575-583) - 1/1/2016

10.1007/978-3-319-44953-1_36 View at source

• iMarina

Processing online SAT instances with waiting time constraints and completion weights

LECTURE NOTES IN COMPUTER SCIENCE (p. 418-430) - 1/1/2019

10.1007/978-3-030-13709-0_35 View at source

• ISSN 03029743

• iMarina

Parallelising the k-medoids clustering problem using space-partitioning

Proceedings of the 6th Annual Symposium on Combinatorial Search, SoCS 2013 (p. 20-28) - 1/12/2013

• iMarina

Optimising dual homing for long-reach passive optical networks

2015 11th International Conference on the Design of Reliable Communication Networks, DRCN 2015 (p. 235-242) - 2/7/2015

10.1109/drcn.2015.7149018 View at source

• iMarina

Online heuristic selection in constraint programming

International Symposium on Combinatorial Search, SoCS 2009 - 1/12/2009

• iMarina

Off-line and on-line scheduling of SAT instances with time processing constraints

Communications in Computer and Information Science (p. 524-539) - 1/1/2017

10.1007/978-3-319-66562-7_38 View at source

• ISSN 18650929

• iMarina

Massively parallel local search for SAT

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI (p. 57-64) - 1/12/2012

10.1109/ictai.2012.17 View at source

• ISSN 10823409

• iMarina

Learning sequential and parallel runtime distributions for randomized algorithms

Proceedings - 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, ICTAI 2016 (p. 655-662) - 11/1/2017

10.1109/ictai.2016.102 View at source

• iMarina