The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jo Devriendt" ( http://dblp.L3S.de/Authors/Jo_Devriendt )

  Author page on DBLP  Author page in RDF  Community of Jo Devriendt in ASPL-2

Publication years (Num. hits)
2012-2019 (14)
Publication types (Num. hits)
article(6) inproceedings(8)
Venues (Conferences, Journals, ...)
CoRR(4) ICTAI(2) SAT(2) TPLP(2) ICSC(1) IJCAI(1) LPNMR(1) PPDP(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tu-San Pham, Jo Devriendt, Patrick De Causmaecker Declarative Local Search for Predicate Logic. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. Search on Bibsonomy ICSC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001 BreakID: Static Symmetry Breaking for ASP (System Description). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker On Local Domain Symmetry for Model Expansion. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen, Jo Devriendt, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker Implementing a Relevance Tracker Module. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker A MIP Backend for the IDP System. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker On local domain symmetry for model expansion. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker Improved Static Symmetry Breaking for SAT. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joachim Jansen, Bart Bogaerts 0001, Jo Devriendt, Gerda Janssens, Marc Denecker Relevance for SAT(ID). Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens Experimental Evaluation of a State-Of-The-Art Grounder. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pieter Van Hertum, Joost Vennekens, Bart Bogaerts 0001, Jo Devriendt, Marc Denecker The effects of buying a new car: an extension of the IDP Knowledge Base System. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Jo Devriendt, Marc Denecker Model Expansion in the Presence of Function Symbols Using Constraint Programming. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Broes De Cat, Marc Denecker, Christopher Mears Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license