Skip to Content
Wiki Logo
  • Courses
  • Events
  • Internships
  • Journals
  • Patents
  • Products
  • Projects
  • Publications
  • Talks
  • Theses
    • XWikiGuest
      SSO login

    • Home
    • Page Index
    • User Index
    • Application Index

    • Global
    • Languages
      • Default Language
    • What's New
    • Wiki Index
  • English
  • Italiano
  • Log-in
  1. Publication
  2. Propagation via lazy clause generation

Propagation via lazy clause generation

   page       BibTeX_logo.png       attach   
Cover Card
cover of the publication
pub-cover.jpg

Publications
search • all
Propagation via lazy clause generation
— status
published
— sort
article in journal
who
— authors
Olga Ohrimenko  •  Peter J. Stuckey  •  Michael Codish
where & when
— publication date
September 2009
— journal
Constraints
— volume no.
14
— issue
3
— pages
357–391
— number of pages
35
— publisher
Springer
URL
URL  •  PDF URL
— DOI
10.1007/s10601-008-9064-x
— OpenAlex
W2059035667
ISBN & ISSN
— ISSN
1383-7133
— E-ISSN
1572-9354
local files
cover  •  card
APICe
— journal or series
Constraints
Partita IVA: 01131710376 — Copyright © 2008–2026 APICe@DISI – PRIVACY
XWiki 17.10.13