Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Annals of Mathematics and Artificial Intelligence

Issue 4/2005

Content (6 Articles)

Logic programming with infinite sets

Douglas Cenzer, Jeffrey B Remmel, Victor W. Marek

The expressive rate of constraints

Hubie Chen

Spines of random constraint satisfaction problems: definition and connection with computational complexity

Gabriel Istrate, Stefan Boettcher, Allon G. Percus

Unrestricted vs restricted cut in a tableau method for Boolean circuits

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä

Learning via finitely many queries

Andrew C. Lee

Improving exact algorithms for MAX-2-SAT

Haiou Shen, Hantao Zhang

Jul 05
Issue: 3/2005
Oct 05
Issue: 1-2/2005

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits