Amit Metodi

12 papers A* 1A 2Journal 7Unranked 2

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). ICLP (Technical Communications) Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany
2014	J	`jnl`	A Novel SAT-Based Approach to Model Based Diagnosis. J. Artif. Intell. Res. Amit Metodi, Roni Stern, Meir Kalech, Michael Codish
2014	J	`jnl`	Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. CoRR Amit Metodi, Michael Codish, Peter James Stuckey
2013	—	`conf`	Backbones for Equality. Haifa Verification Conference Michael Codish, Yoav Fekete, Amit Metodi
2013	A	`conf`	Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. CP Reuven Naveh, Amit Metodi
2013	J	`jnl`	Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. J. Artif. Intell. Res. Amit Metodi, Michael Codish, Peter J. Stuckey
2013	J	`jnl`	Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut. CoRR Michael Codish, Yoav Fekete, Amit Metodi
2012	J	`jnl`	Compiling Finite Domain Constraints to SAT with BEE CoRR Amit Metodi, Michael Codish
2012	A*	`conf`	Compiling Model-Based Diagnosis to Boolean Satisfaction. AAAI Amit Metodi, Roni Stern, Meir Kalech, Michael Codish
2012	J	`jnl`	Compiling finite domain constraints to SAT with BEE. Theory Pract. Log. Program. Amit Metodi, Michael Codish
2011	J	`jnl`	Boolean Equi-propagation for Optimized SAT Encoding CoRR Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2011	A	`conf`	Boolean Equi-propagation for Optimized SAT Encoding. CP Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey