default search action

combined dblp search
author search
venue search
publication search

ask others

Yuliya Lierler

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Marco Maratea

> Home > Persons > Yuliya Lierler

Publications

2016
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/LierlerMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/LierlerMR16
Yuliya Lierler, Marco Maratea, Francesco Ricca:
Systems, Engineering Environments, and Competitions. AI Mag. 37(3): 45-52 (2016)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BrocheninML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BrocheninML16
Rémi Brochenin, Marco Maratea, Yuliya Lierler:
Disjunctive answer set solvers via templates. Theory Pract. Log. Program. 16(4): 465-497 (2016)
2015
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BrocheninLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrocheninLM15
Rémi Brochenin, Yuliya Lierler, Marco Maratea:
Disjunctive Answer Set Solvers via Templates. CoRR abs/1510.01599 (2015)
2014
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BrocheninLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BrocheninLM14
Rémi Brochenin, Yuliya Lierler, Marco Maratea:
Abstract Disjunctive Answer Set Solvers. ECAI 2014: 165-170
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GiunchigliaLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GiunchigliaLM06
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reason. 36(4): 345-377 (2006)
2004
[c6]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GiunchigliaLM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiunchigliaLM04
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
SAT-Based Answer Set Programming. AAAI 2004: 61-66
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/LierlerM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/LierlerM04
Yuliya Lierler, Marco Maratea:
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. LPNMR 2004: 346-350
[c2]
- view
  - electronic edition @ math.ca
  - no references & citations available
- export record
  dblp key:
  - conf/nmr/GiunchigliaLM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/GiunchigliaLM04
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196
2003
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/asp/LierlerM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/LierlerM03
Yuliya Lierler, Marco Maratea:
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Answer Set Programming 2003

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.