References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Balduccini, Marcello; Lierler, Yuliya: Constraint answer set solver ezcsp and why integration schemas matter (2017)
  2. Lierler, Yuliya; Susman, Benjamin: On relation between constraint answer set programming and satisfiability modulo theories (2017)
  3. Vandenbroucke, Alexander; PirĂ³g, Maciej; Desouter, Benoit; Schrijvers, Tom: Tabling with sound answer subsumption (2016)
  4. Desouter, Benoit; Van Dooren, Marko; Schrijvers, Tom: Tabling as a library with delimited control (2015)
  5. Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: Tor: modular search with hookable disjunction (2014)
  6. Demoen, Bart; Garcia de la Banda, Maria: Redundant disequalities in the Latin square problem (2013)
  7. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: An introduction to search combinators (2013)
  8. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: Search combinators (2013)
  9. Zhou, Neng-Fa: The language features and architecture of B-Prolog (2012)
  10. Zhou, Neng-Fa; Have, Christian Theil: Efficient tabling of structured data with enhanced hash-consing (2012)
  11. Cattafi, Massimiliano; Gavanelli, Marco; Nonato, Maddalena; Alvisi, Stefano; Franchini, Marco: Optimal placement of valves in a water distribution network with $CLP(FD)$ (2011)
  12. Riguzzi, Fabrizio; Swift, Terrance: The PITA system: tabling and answer subsumption for reasoning under uncertainty (2011)
  13. Zhou, Neng-Fa: The language features and architecture of B-prolog (2011) ioport