#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2003

2013

- This year (0)
- Last 5 years (3)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

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

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

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

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)

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

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

Enfragmo is a logic-based software system for specifying and solving combinatorial search problems. The specification language is multi-sorted first order logic, extended with arithmetic and a limited form of inductive definition. Given a specification and problem instance, Enfragmo generates a propositional formula representing the set of solutions for the… (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 PseudoBoolean constraints into CNF clauses. These algorithms are centered around the idea of rewriting a PB-constraint as the… (More)

- ‹
- 1
- ›