Vitaly Lagoon

Identifiers

• name variant Vitaly Lagoon 0.60 · backfill

Papers (4)

1. Fast Set Bounds Propagation Using a BDD-SAT Hybrid cs.AI · 2014 · author #3
2. Boolean Equi-propagation for Optimized SAT Encoding cs.AI · 2011 · author #3
3. Logic Programming with Satisfiability cs.PL · 2007 · author #2
4. Solving Partial Order Constraints for LPO Termination cs.PL · 2005 · author #2

Mentions

• 1401.3846 #3 · backfill · confidence 0.70 Vitaly Lagoon
• 1104.4617 #3 · backfill · confidence 0.70 Vitaly Lagoon

Frequent Coauthors

• Michael Codish 3 shared papers
• Peter J. Stuckey 3 shared papers
• Amit Metodi 1 shared papers
• Graeme Gange 1 shared papers
• Peter James Stuckey 1 shared papers