E-LIB Suche - Ergebnisse für: Devriendt, Jo

1

CosySEL: Improving SAT Solving Using Local Symmetries:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Saouli, Sabrine ; Baarir, Souheib ; Dutheillet, Claude. - p. 252-266 , 2023

2

FOLASP: FO(·) as Input Language for Answer Set Solvers:

VAN DESSEL, KYLIAN ; DEVRIENDT, JO ; VENNEKENS, JOOST
Theory and Practice of Logic Programming. 21 (2021) 6 - p. 785-801 , 2021

Link: https://doi.org/10.1017/..

3

Learn to relax: Integrating 0-1 integer linear programming ..:

Devriendt, Jo ; Gleixner, Ambros ; Nordström, Jakob
Constraints. 26 (2021) 1-4 - p. 26-55 , 2021

Link: https://doi.org/10.1007/..

4

Verifying Properties of Bit-vector Multiplication Using Cut..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),

Liew, Vincent ; Beame, Paul ; Devriendt, Jo.. - p. 194-204 , 2020

Link: https://doi.org/10.34727..

5

Theoretical and Experimental Results for Planning with Lear..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Say, Buser ; Devriendt, Jo ; Nordström, Jakob. - p. 917-934 , 2020

Link: https://doi.org/10.1007/..

6

Watched Propagation of $$0$$-$$1$$ Integer Linear Constrain..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Devriendt, Jo - p. 160-176 , 2020

Link: https://doi.org/10.1007/..

7

Declarative Local Search for Predicate Logic:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Pham, Tu-San ; Devriendt, Jo ; De Causmaecker, Patrick - p. 340-346 , 2019

Link: https://doi.org/10.1007/..

8

On local domain symmetry for model expansion:

DEVRIENDT, JO ; BOGAERTS, BART ; BRUYNOOGHE, MAURICE.
Theory and Practice of Logic Programming. 16 (2016) 5-6 - p. 636-652 , 2016

Link: https://doi.org/10.1017/..

9

Experimental Evaluation of a State-Of-The-Art Grounder:

, In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming,

Jansen, Joachim ; Dasseville, Ingmar ; Devriendt, Jo. - p. 249-258 , 2014

Link: https://dl.acm.org/doi/1..

10

Symmetry Propagation: Improved Dynamic Symmetry Breaking in..:

, In: 2012 IEEE 24th International Conference on Tools with Artificial Intelligence,

Devriendt, Jo ; Bogaerts, Bart ; De Cat, Broes.. - p. 49-56 , 2012

Link: https://doi.org/10.1109/..

11

Planning with Learned Binarized Neural Networks Benchmarks ..:

Say, Buser ; Sanner, Scott ; Devriendt, Jo..
http://arxiv.org/abs/2108.00633. , 2021

Link: http://arxiv.org/abs/210..

12

Experimental Repository for "FOLASP: FO(.) as Input Languag..:

Van Dessel, Kylian ; Devriendt, Jo ; Vennekens, Joost
doi:10.5281/zenodo.4771773. , 2021

Link: https://zenodo.org/recor..

13

Cutting to the core of pseudo-Boolean optimization:combinin..:

Devriendt, Jo ; Gocht, Stephan ; Demirovic, Emir..
Devriendt , J , Gocht , S , Demirovic , E , Nordström , J & Stuckey , P J 2021 , Cutting to the core of pseudo-Boolean optimization : combining core-guided search with cutting planes reasoning . in K Leyton-Brown & M (eds) , Proceedings of the AAAI Conference on Artificial Intelligence, AAAI-21 . 35th AAAI Conference on Artificial Intelligence, AAAI 2021 , no. 5 , vol. 35 , Association for the Advancement of Artificial Intelligence (AAAI) , Palo Alto CA USA , pp. 3750-3758 , AAAI Conference on Artificial Intelligence 2021 , California , United States of America , 2/02/21 .. , 2021

Link: https://research.monash...

14

FOLASP: FO(.) as Input Language for Answer Ser Solvers:

Van Dessel, Kylian ; Devriendt, Jo ; Vennekens, Joost
http://arxiv.org/abs/2108.04020. , 2021

Link: http://arxiv.org/abs/210..

15

Experimental Repository for "Learn to Relax: Integrating 0-..:

Devriendt, Jo ; Gleixner, Ambros ; Nordström, Jakob
doi:10.5281/zenodo.3942167. , 2020

Link: https://zenodo.org/recor..