#### Filter Results:

#### Publication Year

2003

2013

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

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)

- Mohsen Sharifi, Hamed Mousavian, Amir Aavani
- SMC
- 2003

- 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)

- Amir Aavani, Xiongnan Wu, Eugenia Ternovska, David G. Mitchell
- Canadian Conference on AI
- 2011

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)

- Amir Aavani, David G. Mitchell, Eugenia Ternovska
- SARA
- 2013

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)

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, Eugenia Ternovska, David G. Mitchell
- TPLP
- 2013

- 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)

- Kiarash Mizanian, Mehdi Salmani Jelodar, Amir Aavani, Morteza Analoui
- 2006 Canadian Conference on Electrical and…
- 2006

Today, Web interactions are frequently short, with an increasing number of responses carrying only control information and no data. On the other hand, with significant improvements in network hardware, many problems such as collision and packet loss are not as important as before. The most popular application layer protocol for the Web is the Hyper Text… (More)

- ‹
- 1
- ›