#### Filter Results:

#### Publication Year

2003

2013

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

In this paper, we present the Enfragmo system for specifying and solving combinatorial search problems. It supports natural specification of problems by providing users with a rich language, based on an extension of first order logic. Enfragmo takes as input a problem specification and a problem instance and produces a propositional CNF formula representing… (More)

- Amir Aavani
- SAT
- 2011

A Pseudo-Boolean constraint is a linear constraint over Boolean variables. This kind of constraints has been widely used in expressing NP-complete problems. This paper introduces a new algorithm for translating Pseudo-Boolean constraints into CNF clauses. The CNF produced by the proposed encoding has small size, and we also characterize the constraints for… (More)

Given a finite domain, grounding is the the process of creating a variable-free first-order formula equivalent to a first-order sentence. As the first-order sentences can be used to describe a combinatorial search problem, efficient grounding algorithms would help in solving such problems effectively and makes advanced solver technology (such as SAT)… (More)

A Pseudo-Boolean (PB) constraint is a linear arithmetic constraint over Boolean variables. PB constraints are and widely used in declarative languages for expressing NP-hard search problems. While there are solvers for sets of PB constraints, there are also reasons to be interested in transforming these to propositional CNF formulas, and a number of methods… (More)

Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and reasoning systems. One method for grounding is based on an extension of the relational algebra, exploiting the fact that grounding over a given domain is similar to query answering. In this… (More)

- Javad Sadeghi, Amir Aavani, Mohsen Sharifi
- 2005

E-Learning in fact is another type of learning process through the integration of technology and is perceived as learning via a web browser, over the web or an intranet network. E-Learning in the context of 3D virtual environments promises better performance in the light of new trends for 3D environments among users. This paper presents the design and first… (More)

- Amir Aavani
- 2011

A Pseudo-Boolean constraint, PB-constraint, is a linear constraint over Boolean variables. This kind of constraints has been widely used in expressing NP-complete problems. This paper introduces a family of algorithms for translating Pseudo-Boolean constraints into CNF clauses. These algorithms are centered around the idea of rewriting a PB-constraint as… (More)

- ‹
- 1
- ›