Roman Barták and Jindřich Vodrážka
An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSRoman Barták and Jindřich Vodrážka
An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic